randImage0 = "<?=$web?>/images/x.gif";
	nrOfRandHomeImages= 1;						//number of images for homepage to choose a random one
	function randomImage(image_name){
		randImages = new Array();
		for(var i=0; i<nrOfRandHomeImages; i++){
			randImages[i]= eval("randImage"+i);
		}
	}

	function init(){
        init_topmenu();
		randomImage("home_img");
		alignPage();
                //maximizeWindow();
	}