function check_searchform() {
  if (document.searchform.suchbegriff.value == '') {
    document.searchform.suchbegriff.focus() ;
    return false ;
  }
  return true ;
}

function hoverItem(item) {
    regex = /(sub|)color(\d+)/ ;
    regex.exec(item.className) ;
    item.className = item.className.replace(regex, 'hover'+RegExp.$1+'color'+RegExp.$2) ;
}

function normalItem(item) {
    regex = /hover(sub|)color(\d+)/ ;
    regex.exec(item.className) ;
    item.className = item.className.replace(regex, RegExp.$1+'color'+RegExp.$2) ;
}

function openItem(link) {
    document.location.href = link ;
}