function randNum() {
	var n = Math.floor((Math.random()*9)+1);
	return n;
}	
function rndPic() {
	document.getElementById('header_pic').style.backgroundImage="url('/i/inner/brush-inner-"+randNum()+".png')";
}