var JSmenu0237c = new JSmenu(1,'JSmenu0237cForm'); var eid0237c1=0;