function select_menu(permalink){
  $("#menu ."+permalink).addClass("selected");
}