/********************************************************************* * * * *********************************************************************/ document.write ( menu_list_str );