// JavaScript Document

window.onload = choosePic;

var myPix = new
Array("images/imagen_01.gif","images/imagen_05.jpg","images/imagen_02.gif","images/imagen_06.jpg","images/imagen_07.jpg","images/imagen_03.gif","images/imagen_08.jpg","images/imagen_04.gif","images/imagen_09.jpg");

function choosePic() {
randomNum = Math.floor((Math.random() * myPix.length));
document.getElementById("myPicture").src = myPix[randomNum];

}