<!--
function change(button,over)
{
if (document.images)
	{
	if(over)
	document.images[button].src='images/' + button + '_h.gif';
	else
	document.images[button].src='images/' + button + '_n.gif';
	}
}
//-->