/*
 script to randomly select an image
 it also provides a function to set an image.
*/

	function randomPicture (x) {
		var randomnumber = Math.round(Math.random()*x)
		var img = document.getElementById('picture');
		img.src = '../img/header/head' + randomnumber + '.jpg';
	}

	function setPicture (id) {
		var img = document.getElementById('picture');
		img.src = '../img/header/head' + id + '.jpg';
		return;
	}
	
	function loadjpgs(x){
		if(document.images){
			pictures=new Array;
			for (z=1;z<=x;z++){
				pictures[z]=new Image;
				pictures[z].src='../img/header/head'+z+".jpg";
			}
		}    
	}