<!--

var myAlert='This is an alert!'
function alertMe()
{
alert(myAlert)
return(false)


}

function pomcnt()

{
var pomi=27;



}

	function getImageName(){
		var i = Math.round(Math.random()*5);
		if (i==0)
			return("images/home_masthead1.gif");
		else if(i==1)
			return("images/home_masthead2.gif");
		else if(i==2)
			return("images/home_masthead3.gif");
		else if(i==3)
			return("images/home_masthead4.gif");	
		else if(i==4)
			return("images/home_masthead5.gif");	
		else
			return("images/home_masthead6.gif");
	}

	function setTopImage(){
		document.topBanner.src = getImageName()
	}
	

-->