var myPix = new Array("http://members.wolfram.com/jonm/header1.jpg","http://members.wolfram.com/jonm/header2.jpg","http://members.wolfram.com/jonm/header3.jpg","http://members.wolfram.com/jonm/header4.jpg","http://members.wolfram.com/jonm/header5.jpg")
function ChoosePicture() {
	if (document.images) {
		randomNum = Math.floor((Math.random() * 15)) % 5
			document.myPicture.src = myPix[randomNum]
	}
}
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}