/************************************
Image library for menu and commonly used images
charges them and turns them onMouseOver etc
************************************/

<!--
var Pic = new Array

// line

Pic[0] = '../pic/s_line_dark.gif'
Pic[1] = '../pic/s_line_dark_links.gif'

// top

Pic[2] = '../pic/top.gif'

var p = Pic.length
var preLoad = new Array()
var i = 0;
for (i = 0; i < p; i++){
     preLoad[i] = new Image()
     preLoad[i].src = Pic[i]
}

function switchImage(whichImage,imageNumber){
   document.images[whichImage].src = preLoad[imageNumber].src
}

// Remove dots around the image when clicked

function RemoveDot() {
for (a in document.links) document.links[a].onfocus = document.links[a].blur;
}

if (document.all) {
document.onmousedown = RemoveDot;
}

file:

//-->