document.write ('\
\
')
function DrawMenu (str_href, str_desc)
{
var menu_count = menu_data.length
for (i = 0; i < menu_count; i++)
{
menu_part = menu_data[i].indexOf ("|")
menu_href = menu_data[i].substring (0, menu_part)
menu_disp = menu_data[i].substring (menu_part + 1)
if (menu_href == window.location.pathname)
document.write ('' + menu_disp + '
')
else
document.write (' ')
}
}