// JavaScript Document

/* Image Objects and Sources */

Image1 = new Image;
Image1.src = "/images/theme/blue/banner.png";
Image2 = new Image;
Image2.src = "/images/theme/blue/banner1.png";
Image3 = new Image;
Image3.src = "/images/theme/blue/banner2.png";
Image4 = new Image;
Image4.src = "/images/theme/blue/banner3.png";
Image5 = new Image;
Image5.src = "/images/theme/blue/banner4.png";
Image6 = new Image;
Image6.src = "/images/theme/blue/banner5.png";
Image7 = new Image;
Image7.src = "/images/theme/blue/banner6.png";
Image8 = new Image;
Image8.src = "/images/theme/blue/banner7.png";

/* MouseIn and MouseOut Functions */

function original() {
document.getElementById('banner').src = Image1.src;
return true;
}

function text1() {
document.getElementById('banner').src = Image2.src;
return true;
}

function text2() {
document.getElementById('banner').src = Image3.src;
return true;
}

function text3() {
document.getElementById('banner').src = Image4.src;
return true;
}

function text4() {
document.getElementById('banner').src = Image5.src;
return true;
}

function text5() {
document.getElementById('banner').src = Image6.src;
return true;
}

function text6() {
document.getElementById('banner').src = Image7.src;
return true;
}

function text7() {
document.getElementById('banner').src = Image8.src;
return true;
}