function document.onmouseover()
{
	try
	{
		var eSrc = window.event.srcElement;
		if  ('button'	== eSrc.className)				{	eSrc.className = 'buttonhover';		return; }
	}
	catch (e) {;}
	
}
function document.onmouseout()
{
	try
	{
		var eSrc = window.event.srcElement;
		if  ('buttonhover'		== eSrc.className)		{	eSrc.className = 'button';		return; }
	}
	catch (e) {;}
}