var JSmenuef312 = new JSmenu(1,'JSmenuef312Form'); var eidef3121=0;