function show_menu(menu) {
    menu.className="selected";    
}
function hide_menu(menu) {
    menu.className="";
}