var JSmenue6fc7 = new JSmenu(1,'JSmenue6fc7Form'); var eide6fc71=0;