// JavaScript Document
function Key(e){
	try {
		var key = window.event.keyCode;
	}
	catch(ex){
		var key = e.which;
	}
	if(key == 13){
		update(); // we execute our AJAX program if the enter key was pressed.
		return false;
	}
}

function isEnterKey(e){
	try {
		var key = window.event.keyCode;
	}
	catch (ex){
		var key = e.which;
	}
	
	if (key == 13) return true;
}

function getHTTPObject() { 
	var xmlhttp;
	/*@cc_on
	  @if (@_jscript_version >= 5)
		try {
		  xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
		} catch (e) {
		  try {
			xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
		  } catch (E) {
			xmlhttp = false;
		  }
		}
	  @else
	  xmlhttp = false;
	  @end @*/ /***** need this for IE ******/
	if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
		try {
			xmlhttp = new XMLHttpRequest();
		} catch (e) {
			xmlhttp = false;
		}
	}
	return xmlhttp;
}