if ((screen.width == 640) && (screen.height == 480)) {var mycss = "res800";}
   else if ((screen.width == 800) && (screen.height == 600)) {var mycss = "res800";}
   else if ((screen.width == 1024) && (screen.height == 768)) {var mycss = "res1024";}
   else if ((screen.width == 1280) && (screen.height == 1024)) {var mycss = "res1280";}
   else {var mycss = "res1024";};
   document.write("\<SCRIPT LANGUAGE=\"JavaScript\" TYPE=\"text\/javascript\" SRC=\"scripts\/nav_" + mycss + ".js\"\>\<\/SCRIPT\>");