var images = 
"header1.jpg,header2.jpg,header3.jpg,header4.jpg,header5.jpg,header6.jpg".split(",");
var num = Math.round(Math.random() * (images.length-1));
var img = images[num];
if(img) document.images['picheader'].src = 
"images/img_h/" + img;