// JavaScript Document
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

function Ajax_pictureRotator(Timeout) {
  document.getElementById('illustration').src = '../visual/illustr_'+Math.ceil(Math.random()*6)+'.jpg';
  setTimeout('Ajax_pictureRotator('+Timeout+')',Timeout);
}