function randomize_header_image() {
	var path = "/blog/wp-content/themes/black-lucas/images/"
	var images = [
		"header00.jpg",
		"header01.jpg",
		"header02.jpg",
		"header03.jpg",
	];
	var num = Math.floor(Math.random() * images.length);
	var div = document.getElementById('header');
//	alert(div.style.background);
	div.style.backgroundImage = "url(" + path + images[num] + ")";
}