/*
 * Jump to the specified URL
 */
function linkTo(url){
  document.location = url;
  return false;
}

/*
 * Hove object
 */
var hover = {

  menu : function (elem){
    if(elem && elem.className) {
      var idx = elem.className.indexOf(" hover");
      elem.className = (idx > -1) ? elem.className.substring(0, idx) : elem.className + " hover";
    }
  }

}