//Preload images
var navImages = new Array;
navImages[0] = new Image(32,42)
navImages[0].src = "/images/thumbs/blank.gif"

navImages[1] = new Image(32,42)
navImages[1].src = "/images/thumbs/samplerThumb.gif"

navImages[2] = new Image(32,42)
navImages[2].src = "/images/thumbs/earthSpeakerThumb.gif" 

navImages[3] = new Image(32,42)
navImages[3].src = "/images/thumbs/concreteThumb1.gif" 

navImages[4] = new Image(32,42)
navImages[4].src = "/images/thumbs/concreteThumb2.gif" 

navImages[5] = new Image(32,42)
navImages[5].src = "/images/thumbs/concreteThumb3.gif" 

navImages[6] = new Image(32,42)
navImages[6].src = "/images/thumbs/forestBotThumb.gif" 

navImages[7] = new Image(32,42)
navImages[7].src = "/images/thumbs/silverfishThumb.gif" 

navImages[8] = new Image(32,42)
navImages[8].src = "/images/thumbs/forestBotOldThumb.gif" 

navImages[9] = new Image(32,42)
navImages[9].src = "/images/thumbs/tapewormThumb.gif" 

//Image swapping functions	
function flip(x) {
	document.vtn.src = navImages[x].src; return true;
}

function original() {
	document.vtn.src = navImages[0].src; return true; 
}