<!--
// Bilder random laden
// Set up the image files to be used. 
var theImages = new Array() // do not change this 
// To add more image files, continue with the 
// pattern below, adding to the array. 
theImages[0] = 'musik_random_01.jpg' 
theImages[1] = 'musik_random_02.jpg' 
theImages[2] = 'musik_random_03.jpg' 
theImages[3] = 'musik_random_04.jpg'
theImages[4] = 'musik_random_05.jpg'
theImages[5] = 'musik_random_06.jpg'
theImages[6] = 'musik_random_07.jpg'
theImages[7] = 'musik_random_08.jpg'
theImages[8] = 'musik_random_09.jpg'
theImages[9] = 'musik_random_10.jpg'
// do not edit anything below this line 
var j = 0 
var p = theImages.length; 
var preBuffer = new Array() 
for (i = 0; i < p; i++){ 
   preBuffer[i] = new Image() 
   preBuffer[i].src = theImages[i] 
} 
var whichImage = Math.round(Math.random()*(p-1)); 
function showImage(){ 
document.write('<img name="change_big" id="change_big" src="/images/pict/random/'+theImages[whichImage]+'">'); 
} 
//-->