function setHeader(){
	var img_name = new Array("/img/0001.jpg","/img/0002.jpg");
	var l = img_name.length;
	var rnd_no = Math.floor(l*Math.random());
	document.write('<img src='+img_name[rnd_no]+'>');
	}