var JSmenue2051 = new JSmenu(1,'JSmenue2051Form'); var eide20511=0;