var JSmenu2ed25 = new JSmenu(1,'JSmenu2ed25Form'); var eid2ed251=0;