var JSmenu23ef5 = new JSmenu(1,'JSmenu23ef5Form'); var eid23ef51=0;