var rand1 = 0;
var useRand = 0;

images = new Array;
images[1] = new Image();
images[1].src = "fileadmin/css_template/section_images/home1.jpg";
images[2] = new Image();
images[2].src = "fileadmin/css_template/section_images/home2.jpg";
images[3] = new Image();
images[3].src = "fileadmin/css_template/section_images/home3.jpg";
images[4] = new Image();
images[4].src = "fileadmin/css_template/section_images/home4.jpg";
images[5] = new Image();
images[5].src = "fileadmin/css_template/section_images/home5.jpg";
images[6] = new Image();
images[6].src = "fileadmin/css_template/section_images/home6.jpg";
images[7] = new Image();
images[7].src = "fileadmin/css_template/section_images/home7.jpg";
images[8] = new Image();
images[8].src = "fileadmin/css_template/section_images/home8.jpg";

function swappic() {
var imgnum = images.length - 1;
do {
var randnum = Math.random();
rand1 = Math.round((imgnum - 1) * randnum) + 1;
} while (rand1 == useRand);
useRand = rand1;
document.randimg.src = images[useRand].src;
}

function showlocaltime() {
	var today = new Date();
	var difftime = (today.getTimezoneOffset()+120) *60000;
	today.setTime(today.getTime()+difftime);
	alert(today.toLocaleString());
}