//
// The following should cause the images to be preloaded.
//

extraImages=new Array()
extraImages[0] = "images/photos/spg07.jpg"
extraImages[1] = "images/photos/spg08.jpg"

//
// This function replaces the image of a specific ID.
//


function changeImage(ImgId,newImg){
	document.getElementById(ImgId).src=newImg
}
 
function extraInit () {
}