// JavaScript Document
function changeImage(imageid, current_page) {
		document["main-image"].src = "images/displayarea/" + current_page + "-" + imageid + ".jpg"
}