aktiv = 0;

function init_reload ()
 {if (aktiv == 0)
   {aktiv = (setTimeout ('run_reload ()', 100));}}

function run_reload ()
 {location.reload ();
  aktiv = 0;}

function get_min_height (menu, level)
 {switch (menu)
   {case 1: var size = 533;
            break;
    case 2: var size = 685;
            break;
    case 3: var size = 932;
            break;}
  return size - (level * 19);}