// JavaScript Document
function mouseOver(page) {
	var i, id, url;
	for (i=1; i<=9; i++) {
		if (i != page) {
			id = "button" + i;
			document.getElementById(id).style.background = "none";
		}
	}
	id = "button" + page;
	url = "url(images/head/button" + page;
	url += ".gif)";
	document.getElementById(id).style.background = url;
}
function mouseOut() {
	var i, id;
	for (i=1; i<=9; i=i+1) {
		id = "button" + i;
		document.getElementById(id).style.background = "none";
	}
	init(current);
}
function showBack() {
	document.getElementById("buttons").style.background = "url(images/head/buttonLine.gif)";
}
function hideBack() {
	document.getElementById("buttons").style.background = "url(images/head/buttonBackground.gif)";
}