function randomPic()
{
	var imageNum = parseInt(13 + (1 - 13) * Math.random())
	
	document.images[1].src = "random/" + imageNum + ".jpg"
	
	
}