function randomimg(){

};

function displayheader(){

r=new randomimg();
n=0;

// image list

r[n++]= '<td bgcolor="#000000"> <a href="/eng/games/games_roguewarrior.html"><img src="/images/header_bg/header_bg-15.jpg" width="780" height="100" alt="Rogue Warrior" 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_wet.html"><img src="/images/header_bg/header_bg-21.jpg" width="780" height="100" alt="WET" border=0></a></td>';

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

// end image list

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