function getCurrentImageNum(){
	var current = document.location.href;
	var page = current.substring(current.lastIndexOf("/")+1, current.length);
	var num = page.substring(page.indexOf(htmlprefix)+htmlprefix.length, page.indexOf("."));
	
	return(num);
}

function printImage(whichImage){
	var html = "<img src='IMAGES/"+whichImage+"'>";
	document.write(html);
}