// -------------------
// Browsers support
// -------------------


var g;
if (document.getElementById)
  g = function(obj) { return document.getElementById(obj); }
else
  g = function(obj) { return document.all[obj]; }


var addEvent;
if (document.addEventListener)
  addEvent = function(element, type, handler) {
    element.addEventListener(type, handler, false);
  };
else if (document.attachEvent)
  addEvent = function(element, type, handler) {
    element.attachEvent("on" + type, handler);
  };




// -------------------
// Ajax functions
// -------------------

function prepareRequest() {
	var http_request = false;
	if (window.XMLHttpRequest) { // Mozilla, Safari,...
		http_request = new XMLHttpRequest();
		if (http_request.overrideMimeType) {
		}
	} else if (window.ActiveXObject) { // IE
		try {
			http_request = new ActiveXObject("Msxml2.XMLHTTP");
		} catch (e) {
			try {
				http_request = new ActiveXObject("Microsoft.XMLHTTP");
			} catch (e) {}
		}
	}
	if (!http_request) {
		alert('AJAX error!'); return false;
	}
	return http_request;
}

function simpleAjaxRequest(url, callback)
{
	try {
	http_request = prepareRequest();
	http_request.onreadystatechange = function() 
	{ 
		var ok = 0;
		if (http_request.readyState == 4) {
			if(http_request.status == 200) ok = 1;
			try {
				savedCommand = g(newid).value;
			} catch(e) { savedCommand = ''; }
			callback(ok, http_request.responseText);
		}
	}
	http_request.open('POST', url);
	http_request.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded; charset=UTF-8');
	http_request.send('');
	} catch (e) {alert(e.message); }
}

function parseResponse(response)
{
	if(response.substr(0,8)=="<script>")
	{
		try{
			var parts = response.substr(8).split("<\/script>");
			eval(parts[0]);
			return parts[1];
		} catch(e) { alert(e.message + '\n---\n'+parts[0]); return response; }
    } else {return response;}
}


function loadScript(url)
{
	var fileref=document.createElement('script');
	fileref.setAttribute("type","text/javascript");
	fileref.setAttribute("src", url);
	document.getElementsByTagName("head")[0].appendChild(fileref);
}