function randomimg(){
};

function displayheader(){

r=new randomimg();
n=0;

// image list
r[n++]= '<td bgcolor="#000000"><img src="../images/header_bg/port1.jpg" width="780" height="100" alt="Portfolio" border=0></a></td> ';




// end image list

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