function navOver(id) {
	document.getElementById(id).style.background = "url('navi_over.gif')";
}
function navOut(id) {
	document.getElementById(id).style.background = "url('navi_normal.gif')";
}
function topOver(id) {
	document.getElementById(id).style.background = "url('top_over.gif')";
}
function topOut(id) {
	document.getElementById(id).style.background = "url('top_normal.gif')";
}
function goToURL(id) {
	window.location=id;
}