function setHeader() {
	var rand_no = Math.random();
	rand_no = (rand_no * 10) % 4;
	rand_no = Math.ceil(rand_no);

  var image = document.getElementById('header')
	image.src = '/images/header_0' + rand_no + '.jpg';
}