var JSmenued4c7 = new JSmenu(1,'JSmenued4c7Form'); var eided4c71=0;