function getRandomPic() {
	var x = Math.ceil(5 * Math.random());
	pic = new Image();
	pic.src = 'images/pic_0' + x + '.jpg';
	document.getElementById('randomPic').src = pic.src;
}