function buttonchange(x, y){if( compat ) {document.images[x].src=eval(y+'.src'); }}

function csschange(classtd, CssOn)
{
classtd.className = CssOn;
}

function quicklinks_over() {
	if (document.getElementById("quicklinks").style.display == "block") {
		document.getElementById("quicklinks").style.display = "none";
	} else {
		links = document.getElementById("quicklinksbutton").offsetLeft;
		links += document.getElementById("maintable").offsetLeft;
		document.getElementById("quicklinks").style.left = links+"px";
		document.getElementById("quicklinks").style.display = "block";
	}
}