function mouseout( buttonid )
{
	document.getElementById(buttonid).src = eval( buttonid + "_mouseout.src" );
}
function mouseover ( buttonid )
{
	document.getElementById(buttonid).src = eval( buttonid + "_mouseover.src" );
}