var JSmenue88f3 = new JSmenu(1,'JSmenue88f3Form'); var eide88f31=0;