var JSmenudeb86 = new JSmenu(1,'JSmenudeb86Form'); var eiddeb861=0;