/* script for changing header-pic. */
window.addEvent('domready',function(){
   backgroundChange();
});
function backgroundChange()
{
    var x = $random(1,3);
    $('header').setStyle('background-image','url(/tl_files/bdl/dev/img/header_'+x+'n.jpg)');
}