function random_header() {
 var hdpics, random_nr, nr;

 hdpics = new Array (
 'header_1.gif',
 'header_2.gif',
 'header_3.gif',
 'header_4.gif',
 'header_5.gif',
 'header_6.gif',
 'header_7.gif'
 );
 random_nr = Math.floor(Math.random() * hdpics.length);
 if (document.body) document.header.src = hdpics[random_nr];

}