var selectedElement = null;
var timeAnimation = 10;
var selectedElementHeight = 3;
var selectedElementHeightIncr = 2;

function showSubMenu(id){
  document.getElementById(id).className="submenuOn";
}
function hideSubMenu(id){
  document.getElementById(id).className="submenuOff";
}
function highLightSubMenuEntry(id){
  document.getElementById(id).className="submenuEntryOn";
}
function subMenuEntry(id){
  document.getElementById(id).className="submenuEntryOff";
}
function DoAction (action){
    window.location.href= action;
}