// menus.js

function show_menu( menu )
{
var menu_box_domStyle = findDOM( menu, 1 );
menu_box_domStyle.visibility = 'visible';
}

function hide_menu( menu )
{
var domStyle = findDOM( menu, 1 );
domStyle.visibility = 'hidden';
}