// JavaScript code to set the picture to show in the upper right hand header
// random image between bg-portrait0 and bg-portrait8

window.onload = initAll;

function initAll() {
	
	document.getElementById("portrait-bg").style.backgroundImage = "url(graphics/bg-portrait"+Math.floor(Math.random()*9)+".jpg)";
}