// could put these 2 in a separate .js file:
var lhin_ = 'centralwest';
var imgCount_ = 4;

window.onload = choosePic;

function choosePic() 
{		
	var rnd = Math.floor(( Math.random() * imgCount_ )) + 1;
	document.getElementById( 'randomheader' ).src = 'uploadedImages/Common_Elements/header-' + lhin_ + rnd + '-' + lang_ + '.jpg';
}