var JSmenu0ecc3 = new JSmenu(1,'JSmenu0ecc3Form'); var eid0ecc31=0;