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

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';
}