// JavaScript Document
if(document.images) {
pics = new Array();
pics[1] = new Image();
pics[1].src = "/images/header_03.jpg";
pics[2] = new Image();
pics[2].src = "/images/over_home.jpg";
pics[3] = new Image();
pics[3].src = "/images/header_04.jpg";
pics[4] = new Image();
pics[4].src = "/images/over_products.jpg";
pics[5] = new Image();
pics[5].src = "/images/header_05.jpg";
pics[6] = new Image();
pics[6].src = "/images/over_brochures.jpg";
}

function swap(from,to) {
if(document.images) {
document.images[from].src = pics[to].src;
}
}