var browser=navigator.appName;
var b_version=navigator.appVersion;
var version=parseFloat(b_version);

//document.write("Browser name: "+ browser);
//document.write("<br />");
//document.write("Browser version: "+ version);

function getElementByIdCompatible(the_id) {
  if (typeof the_id != 'string') {
    return the_id;
  }

  if (typeof document.getElementById != 'undefined') {
    return document.getElementById(the_id);
  } else if (typeof document.all != 'undefined') {
    return document.all[the_id];
  } else if (typeof document.layers != 'undefined') {
    return document.layers[the_id];
  } else {
    return null;
  }
}

if(browser == "Microsoft Internet Explorer") { //eh...?
  //t = document.getElementById("inner");
  
  if(false) {
    t.style.marginTop = -4 + 'px';
  }
}

////////////////////////////////////////////////////////

function GetChildren(root, id) {
	var temp = new Array()
	var inc = 0
	var len = root.length
	
	for (i=0; i < len; i++)
	{
		if (root[i].id == id)
		temp[inc++] = root[i]
	}
return temp
}

if (document.all)
{
  //var c = GetChildren(document.all, "button");
} else {
  //var c = document.getElementsByName("button"); //GetChildren(document.layers, "button");
}

function Hover(element) {
  var str = element.src;
  var newStr = str.substring(0, str.length-4);
  newStr = newStr + 'H.png';
  element.src = newStr;
}

function FixHover(element) {
  var str = element.src;
  var newStr = str.substring(0, str.length-5);
  newStr = newStr + '.png';
  element.src = newStr;
}

//document.write("length: " + c.length);