function randomImg() {
	var noImgs = 12;
	var number = Math.round(Math.random()*(noImgs));
	document.write('<img src="imgs/header/' + number + '.jpg">');
}