function randNum(min, max)
	{
		var randy = Math.round( Math.random() * (max - min) + min );
		return randy;
	}

var rand = randNum(0,2); 
{

if (rand == "0")
	{
	document.write("<IMG SRC=/images/rotating/rand01.gif alt=\"Rotating Silicon Valley Images\" class=\"headerImage\">");
	}
if (rand == "1")
	{
	document.write("<IMG SRC=/images/rotating/rand02.gif alt=\"Rotating Silicon Valley Images\" class=\"headerImage\">");
	}
if (rand == "2")
	{
	document.write("<IMG SRC=/images/rotating/rand03.gif alt=\"Rotating Silicon Valley Images\" class=\"headerImage\">");
	}

}