var JSmenue12f6 = new JSmenu(1,'JSmenue12f6Form'); var eide12f61=0;