var bn=navigator.appName;
var vn=navigator.appVersion;
var p1=null;
var p2=null;
var p3=null;
var p4=null;
var p5=null;
var p6=null;
var p7=null;
var p8=null;
var p9=null;
var p10=null;
var p11=null;
// Animated menu stuff
function off_img(loc,img) {};
function on_img(loc,img) {};
function gonow(p)
  {
  location=addr[p];
  };
var addr = new Array(11);
addr[1]="frigates.html";
addr[2]="destroyers.html";
addr[3]="cruisers.html";
addr[4]="hamilton.html";
addr[5]="ww2.html";
addr[6]="escorts.html";
addr[7]="landingships.html";
addr[8]="pricelist.html";
addr[9]="contact.html";
addr[10]="about.html";
addr[11]="links.html";
menuimg = new Array(22);
if ((bn!="Microsoft Internet Explorer") || (vn.substring(0,3)!="2.0"))
{
menuimg[1]= new Image (116,20);
menuimg[1].src="images/frigates.gif";
menuimg[12]= new Image (116,20);
menuimg[12].src="images/frigates2.gif";
menuimg[2]= new Image (116,20);
menuimg[2].src="images/destroyers.gif";
menuimg[13]= new Image (116,20);
menuimg[13].src="images/destroyers2.gif";
menuimg[3]= new Image (116,20);
menuimg[3].src="images/cruisers.gif";
menuimg[14]= new Image (116,20);
menuimg[14].src="images/cruisers2.gif";
menuimg[4]= new Image (116,20);
menuimg[4].src="images/cutter.gif";
menuimg[15]= new Image (116,20);
menuimg[15].src="images/cutter2.gif";
menuimg[5]= new Image (116,20);
menuimg[5].src="images/wwii.gif";
menuimg[16]= new Image (116,20);
menuimg[16].src="images/wwii2.gif";
menuimg[6]= new Image (116,20);
menuimg[6].src="images/escorts.gif";
menuimg[17]= new Image (116,20);
menuimg[17].src="images/escorts2.gif";
menuimg[7]= new Image (116,20);
menuimg[7].src="images/lst.gif";
menuimg[18]= new Image (116,20);
menuimg[18].src="images/lst2.gif";
menuimg[8]= new Image (116,20);
menuimg[8].src="images/pricelist.gif";
menuimg[19]= new Image (116,20);
menuimg[19].src="images/pricelist2.gif";
menuimg[9]= new Image (116,20);
menuimg[9].src="images/contact.gif";
menuimg[20]= new Image (116,20);
menuimg[20].src="images/contact2.gif";
menuimg[10]= new Image (116,20);
menuimg[10].src="images/about.gif";
menuimg[21]= new Image (116,20);
menuimg[21].src="images/about2.gif";
menuimg[11]= new Image (116,20);
menuimg[11].src="images/links.gif";
menuimg[22]= new Image (116,20);
menuimg[22].src="images/links2.gif";
}

function on_img(loc,img)
  {
  if ((bn!="Microsoft Internet Explorer") || (vn.substring(0,3)!="2.0"))
    loc.src=menuimg[img].src;
}