var m='';
function iframe_height() {
    document.getElementById('at24_main').style.height = frames['airticket24.de_main'].document.getElementsByTagName('body')[0].offsetHeight + 'px';
}

function show_menu(menu) {
  if (document.getElementById(menu)) {
    if (m>'') {
      document.getElementById(m).style.display='none'
    };
    document.getElementById(menu).style.display='block';
    m=menu;
  }
}

function hide_menu(menu) {
  if (document.getElementById(menu))
    document.getElementById(menu).style.display='none';
}

function Fensterhoehe () {
  if (window.innerHeight) {
    return window.innerHeight;
  } else if (document.body && document.body.offsetHeight) {
    return document.body.offsetHeight;
  } else {
    return 0;
  }
}
//function doOnScroll() {
//  ypos=Fensterhoehe();
//  frames[0].document.getElementById('up').style.top=ypos-200;
//}