//Site wide javascript
//////////////////////> CONFIGURATION <////////////////////////////
var iDir = "images/"; 					//path to images
var iExt = "gif"; 						//extension of image files
var iExt2 = "jpg"; 						//custom for JPEGs
var iList = "nav00,nav01,nav02,nav03,nav04,nav05,nav06";//,nav07,nav08,nav08,nav10,code_,go_"; 	//list of image names
//////////////////////////////////////////////////////////////////
var d = document; var iA = iList.split(',');
if 	(d.images) { var iO=new Array(); for(j = 0; j < iA.length; j++) { iO[j]=new Image(); iO[j].src = iDir+iA[j]+"b."+iExt;}}
function	a(iName) { i=eval("d."+iName); i.src=iDir+iName+"a."+iExt;}
function 	b(iName) { i=eval("d."+iName); i.src=iDir+iName+"b."+iExt;}
//custom rollover for JPG
function	a2(iName) { i=eval("d."+iName); i.src=iDir+iName+"a."+iExt2;}
function 	b2(iName) { i=eval("d."+iName); i.src=iDir+iName+"b."+iExt2;}