function randomimg(){

};

function displayheader(){

r=new randomimg();
n=0;

// image list

r[n++]= '<td bgcolor="#000000"> <a href="/eng/games/games_brink.html"><img src="/images/header_bg/header_bg-23.jpg" width="780" height="100" alt="BRINK" border=0></a></td>';

r[n++]= '<td bgcolor="#000000"> <a href="/eng/games/games_fallout3.html"><img src="/images/header_bg/header_bg-20.jpg" width="780" height="100" alt="Fallout 3" border=0></a></td>';

r[n++]= '<td bgcolor="#000000"> <a href="/eng/games/games_fnv.html"><img src="/images/header_bg/header_bg-24.jpg" width="780" height="100" alt="Fallout New Vegas" border=0></a></td>';

r[n++]= '<td bgcolor="#000000"> <a href="/eng/games/games_hunted.html"><img src="/images/header_bg/header_bg-25.jpg" width="780" height="100" alt="Hunted: The Demon\'s Forge" border=0></a></td>';

// end image list

i=Math.floor(Math.random()*n);
document.write(r[i]);
};