var timer;

function off(id){
  document.getElementById(id).style.display = 'none';
}
function on(id){
  clearTimeout(timer);
  document.getElementById(id).style.display = 'block';
}
function out(id){
  timer = window.setTimeout('off(\''+id+'\')',500);
  //document.getElementById(id).style.display = 'none';
}
function actOn(element) {
  element.className += " act";
}
function actOut(element) {
  element.className = element.className.substring(0,element.className.length-4);
}