document.write("<script type='text/javascript' src='../js/topnavi.js'></script>");
document.write("<script type='text/javascript' src='../js/jquery-1.2.2.pack.js'></script>");
document.write("<script type='text/javascript' src='../js/ajaxcodedisplay-or.js'></script>");
document.write("<script type='text/javascript' src='../js/imageover.js'></script>");