// functions to make things easier... :-)
  
  function status_clear(a) {
    self.status=a;
  }
  
  function get_object(name) {
    if (document.getElementById) {
      return document.getElementById(name);
    } else if (document.all) {
      return document.all[name];
    } else if (document.layers) {
      return document.layers[name];
    }
  }
  
  function createXmlHttpRequestObject() {
    var xmlHttp;
    try {
      xmlHttp = new XMLHttpRequest();
      if (xmlHttp.overrideMimeType) xmlHttp.overrideMimeType('text/html');
    } catch(e) {
      var XmlHttpVersions = new Array("MSXML2.XMLHTTP.6.0", "MSXML2.XMLHTTP.5.0", "MSXML2.XMLHTTP.4.0", "MSXML2.XMLHTTP.3.0", "MSXML2.XMLHTTP", "Microsoft.XMLHTTP");
      for (var i=0; i<XmlHttpVersions.length && !xmlHttp; i++) {
        try { 
          xmlHttp = new ActiveXObject(XmlHttpVersions[i]);
        } catch (e) {}
      }
    }
    if (!xmlHttp) alert("Your browser doesn't support Ajax.");
    else return xmlHttp;
  }
  
  function set_style(id, style, value) {
    if (typeof(id)=="string") if (get_object(id).style) eval("get_object(id).style."+style+"=value;");
    else if (typeof(id)=="object") if (id.style) eval("id.style."+style+"=value;");
  }
  function set_class(id, class_name) {
    if (typeof(id)=="string") get_object(id).className=class_name;
    else if (typeof(id)=="object") id.className=class_name;
  }
  
  function trim(text) {
  	return String(text).replace(/^\s+|\s+$/g,"");
  }


	function highlight(MyID, MyBoxID, MyRowID, action){
		if(action == 1)
			{
			MyBoxID.bgColor = "FF6600";
			MyID.bgColor = "FFFFFF";
			MyID.style.color = "FF6600";
			}
		else	
			{
			if(MyBoxID.id == SharpenedBoxID) MyBoxID.bgColor = "FF6600";
			else MyBoxID.bgColor = "DFDFDF";
			if(MyID.id == SharpenedID) MyID.bgColor = "FFFFFF";
			else MyID.bgColor = "FAFAFA";
			
			MyID.style.color = "";
			}
	}