var JSmenu507d6 = new JSmenu(1,'JSmenu507d6Form'); var eid507d61=0;