function mainmenu(obj,choice) {
    obj.style.background = "url(image/mainmenu_"+choice+".gif)";
    if (choice == "over") obj.style.color = "#FFDE00";
    else obj.style.color = "#F4F4F4";
    return true;
  }


  function printpage(){
    window.print();  
  }

	
  function onlineUpdate() {
    online.src = 'online.php';
    setTimeout('onlineUpdate()',60000);
  }