var JSmenue20b3 = new JSmenu(1,'JSmenue20b3Form'); var eide20b31=0;