function zufallsbild
( 
	bildsrc,   // = pix/bildoben/bild_oben
	ext,       // extension
	alttxt     // alttxt
) 
{
	var count = 12;     // anzahl der bilder

	// zufallszahl
	var random_number = "";
	today=new Date();
	wj_zufall=today.getTime();
	var ia=9301;
	var ic=49297;
	var im=233280;
	wj_zufall = (wj_zufall*ia+ic) % im;
	random_number = Math.ceil( (wj_zufall/(im*1.0)) * count );

	bildsrc += random_number + ext ;
	document.write('<img src=\"' + bildsrc + '\" width=\"354\" height=\"54\" alt=\"' + alttxt + '\" border=\"0\">' );
	//document.write( '<br>' + bildsrc );
	return;
}