today=new Date(); 			// Variables for random number generator.
jran=today.getTime();
var number=9; 				// Set to number of images available.
var random_number=0;			// Becomes generated random  number.
var image1=""; 				// Set to appropriate image name.


function randomizeNumber()		// Random number generating function.
{
ia=9301;
ic=49297;
im=233280;
jran = (jran*ia+ic) % im;
random_number=Math.ceil( (jran/(im*1.0)) *number);

if (random_number==1)			   // Set variable image equal to appropriate image file name.
    image1="images/bildwechsel/ml2_44103.jpg";
if (random_number==2)
    image1="images/bildwechsel/k_200808.jpg";
if (random_number==3)
    image1="images/bildwechsel/ml2_43941.jpg";
if (random_number==4)
    image1="images/bildwechsel/ml2_43800.jpg";
if (random_number==5)
    image1="images/bildwechsel/k_200802.jpg";
if (random_number==6)
    image1="images/bildwechsel/k_200809.jpg";
if (random_number==7)
    image1="images/bildwechsel/sp08_4597.jpg";
if (random_number==8)
    image1="images/bildwechsel/sp08_4943.jpg";
if (random_number==9)
    image1="images/bildwechsel/garda09-01.jpg";
if (random_number==10)
    image1="images/bildwechsel/ml___.jpg";
}