var myPix = new Array(
"img/pictureshow/picture001.png",
"img/pictureshow/picture002.png",
"img/pictureshow/picture003.png",
"img/pictureshow/picture004.png",
"img/pictureshow/picture005.png",
"img/pictureshow/picture006.png",
"img/pictureshow/picture007.png",
"img/pictureshow/picture008.png",
"img/pictureshow/picture009.png",
"img/pictureshow/picture010.png",
"img/pictureshow/picture011.png",
"img/pictureshow/picture012.png",
"img/pictureshow/picture013.png")

function choosePic() {
	if (document.images) {
		randomNum = Math.round((Math.random() * 12))
		document.myPicture.src = myPix[randomNum]
	 }
}