window.onload = choosePic;

function choosePic() {
	var myPix = new Array("images/header/header01.jpg","images/header/header02.jpg","images/header/header03.jpg");
	var randomNum = Math.floor((Math.random() * myPix.length));
	document.getElementById("myPicture").src = myPix[randomNum];
}