function randomSmile() {
	document.images['RandomSmile'].src = "images/smiling/smile" + Math.floor(17*Math.random()+1) + ".jpg";
}