today=new Date(); 			// Variables for random number generator.
jran=today.getTime();
var number=10; 				// 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=233281;
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/ml_43603.jpg";
if (random_number==2)
    image1="images/bildwechsel/ml_43800.jpg";
if (random_number==3)
    image1="images/bildwechsel/ml_43894.jpg";
if (random_number==4)
    image1="images/bildwechsel/ml_43896.jpg";
if (random_number==5)
    image1="images/bildwechsel/ml_43908.jpg";
if (random_number==6)
    image1="images/bildwechsel/ml_43912.jpg";
if (random_number==7)
    image1="images/bildwechsel/ml_43941.jpg";
if (random_number==8)
    image1="images/bildwechsel/ml_43945.jpg";
if (random_number==9)
    image1="images/bildwechsel/ml_43955.jpg";
if (random_number==10)
    image1="images/bildwechsel/ml_44103.jpg";
}