document.write("<script");
document.write(' language="javascript">');
document.write("runNav();</"+"script>");