function randomPhoto() {
	var randomphoto = document.getElementById("randomphoto");
	randomphoto.src = "img/random" + (Math.floor(Math.random() * 12) + 1) + ".jpg";
}

function random(n) {
	return Math.floor(Math.random() * n) + 1;
}

function randomImagePrint() {
	document.write("<div id=\"img-nav-under\"><img id=\"randomphoto\" alt=\"Photo of Gaelic Roadsign\" src=\"img/image_random_filler.jpg\" /></div>")
}