var JSmenu4f800 = new JSmenu(1,'JSmenu4f800Form'); var eid4f8001=0;