// JavaScript Document
all_submenus=new Array('submenu_21', 'submenu_136', 'submenu_155', 'submenu_123', 'submenu_165', 'submenu_162', 'submenu_23', 'submenu_152', 'submenu_113', 'submenu_125', 'submenu_127');