var lastbutton = 0;
function buttonOver(a) {
	document.getElementById("bttn" + a).style.background = "url(pointer.png) center center no-repeat";
	lastbutton  = a;
}
function buttonOff() {
	document.getElementById("bttn" + lastbutton).style.background = "";
}

var mytitle = "";
function set_title(a) {
	mytitle = a;
	document.write("<a name=top /><h1>" + a + "</h1>");
}