<!--

//-----preloading-----

header1 = new Image();
header1.src = "images/header1.gif";

header2 = new Image();
header2.src = "images/header2.gif";

header3 = new Image();
header3.src = "images/header3.gif";

header4 = new Image();
header4.src = "images/header4.gif";

header5 = new Image();
header5.src = "images/header5.gif";

header6 = new Image();
header6.src = "images/header6.gif";

header7 = new Image();
header7.src = "images/header7.gif";

header8 = new Image();
header8.src = "images/header8.gif";

header_eco = new Image();
header_eco.src = "images/header_eco.gif";


//-----swapping------
  function swap(imgName) {
  document.images["header"].src = eval(imgName + ".src");
  }

//-->