var JSmenue56b9 = new JSmenu(1,'JSmenue56b9Form'); var eide56b91=0;