var JSmenue8def = new JSmenu(1,'JSmenue8defForm'); var eide8def1=0;