var JSmenufb0f3 = new JSmenu(1,'JSmenufb0f3Form'); var eidfb0f31=0;