function changeimage(towhat,url){
if (document.images){
document.images.targetimage.src=towhat.src
gotolink=url
}
}
function warp(){
window.location=gotolink
}

var myimages=new Array()
var gotolink="#"

function preloadimages(){
for (i=0;i<preloadimages.arguments.length;i++){
myimages[i]=new Image()
myimages[i].src=preloadimages.arguments[i]
}
}


preloadimages("pinocchiosi/1.jpg","pinocchiosi/2.jpg","pinocchiosi/3.jpg","pinocchiosi/4.jpg","pinocchiosi/5.jpg")