var JSmenue15f6 = new JSmenu(1,'JSmenue15f6Form'); var eide15f61=0;