// JavaScript Document

function doMouseOver(newNav)
{
	;
}