function random_background(){var a=["01","02","03"];var b=Math.floor(Math.random()*a.length);document.getElementById("header").style.backgroundImage="url(/festivalawards/2008/_images/core/masthead_hero_"+a[b]+".jpg)"};