function m_over(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="#003399";
	x.event.srcElement.style.color = "yellow";
	x.event.srcElement.style.cursor = "hand";
}

function m_out(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="#CC9900";
	x.event.srcElement.style.color = "black";
	x.event.srcElement.style.cursor = "default";
}

function m_click(dest) 
{
	window.navigate(dest);
}

window.onload=window_onload;

function window_onload()
{
}