function randomImage() {
	document.images['RandomImage'].src = "../images/random/pic" + Math.floor(10*Math.random()+1) + ".jpg";
}