// JavaScript Document

<!--
function hideinfobox(box)
{
	var infobox = document.getElementById(box);
	infobox.style.display = "none";
}

function showinfobox(box)
{
	var infobox = document.getElementById(box);
	infobox.style.display = "block";
}
// -->