function rotatepanel()
{
	var panelloc = "highlight";
	document[ panelloc ].src = "images/highlight/" + ( 1 + Math.floor( Math.random() * 4 ) ) + ".gif";
};


function whichone( int0 )
{

  // commented

};