//Random banner functionality - OS
intRandom = Math.floor(Math.random()*3)+1;
document.getElementById('header_banner').src="/images/banners/header_banner"+intRandom+".jpg";