/* scroll to top of page */

function toPageTop() {
	window.scroll(0,0);
}

function imgchange(imgSrc){
   document.bigimage.src = imgSrc;
}