function open_menu() {
   if ($('menu').style.display == 'none') {
      $('menu').appear();
   } else {
      $('menu').fade();
   }
}