var JSmenue72c4 = new JSmenu(1,'JSmenue72c4Form'); var eide72c41=0;