function topBoxMouseOver(s)
{
	document.getElementById(s).style.backgroundColor="#C9E3FE";
}
function topBoxMouseOut(s)
{
	document.getElementById(s).style.backgroundColor="#ffffff";
}

function init_navi(s)
{
	document.getElementById(s).src = document.getElementById(s).src.replace(/^(.+)(\.[a-z]+)$/, "$1_now$2");
}