function jump() {
  ziel=document.form1.menu.options[document.form1.menu.selectedIndex].value;
  window.location=ziel;
 }
 
  function jump2() {
  ziel=document.form2.menu.options[document.form2.menu.selectedIndex].value;
  window.location=ziel;
 }
 
  function jump3() {
  ziel=document.form3.menu.options[document.form3.menu.selectedIndex].value;
  window.location=ziel;
 }


 function foc(){
document.news.input.focus();
}

// Begin ClearField
var cleared = 0;
function clearField(field){
if (cleared != 1) {
field.value = "";
cleared=1;}
else {cleared = 0;}
}
// End ClearField