//names=new Array("company","fleet","filings", "press","investor","terms","links", "contact", "sitemap")names=new Array("company","fleet","bhoffshore","filings", "press","terms", "contact")buttons=new Array()zz=names.lengthfor (y=0;y<2;y++){for (x=0;x<zz;x++){	buttons[x+y*zz]=new Image()	buttons[x+y*zz].src="/assets/"+names[x]+y+".gif"}}function swap(which, state){			document.images[names[which]].src=buttons[which+zz*state].src			}function mail_link_out(whom,there,fullname){		if ((!fullname)||(fullname=="-")){	document.write('<a href=\"mailto:' + whom + '@' + there+ '\"><b>'+whom + '@' + there+'</b></a>')}	else {	document.write('<a href=\"mailto:' + whom + '@' + there+'\"><b>'+fullname+'</b></a>')		}		}