function submitform(myForm)
{
  eval("document."+myForm+".submit()");
}

function randomTopPicture() {
	var ran_number= 1+Math.round(Math.random()*4);
	var topPic="/img/corporate/barbara_top"+ran_number;
	return topPic;
	}