//
// Change the initial browser screen size
//
function ChangeScreenSize(w,h)
{
    window.resizeTo( w,h )
}

function mouseOver(id, pix)
{
	document.getElementById(id).src = pix;
}

function mouseOut(id, pix)
{
	document.getElementById(id).src = pix;
}