function changePic()
{
var imgURLs = ['pic_1.jpg', 'pic_2.jpg', 'pic_3.jpg', 'pic_4.jpg', 'pic_5.jpg', 'pic_6.jpg', 'pic_7.jpg', 'pic_8.jpg', 'pic_9.jpg', 'pic_10.jpg'];
var zufallsZahl = Math.floor((Math.random()*9)+1);

document.getElementById("pic").src = imgURLs[zufallsZahl];
}