var JSmenu09380 = new JSmenu(1,'JSmenu09380Form'); var eid093801=0;