/* pic random */
		
function RotatePic() {
var ImageTDTagID = "random";
var Images = new Array(
	"/images/headerbilder/header1.jpg",
	"/images/headerbilder/header2.jpg",
	"/images/headerbilder/header3.jpg",
	"/images/headerbilder/header4.jpg",
	"/images/headerbilder/header5.jpg",
	"/images/headerbilder/header6.jpg"
	);
RandImage = Math.round(Math.random()*Images.length);
	if( Images.length == RandImage ) RandImage = 0; 
	ri = Images[RandImage]; 
	if (document.images) {
	document.images[ImageTDTagID].src=ri; 
	} 
}