function random_pic(url){

var list_length = 6;
pic_num=parseInt(Math.random()*list_length);
pic_num=(isNaN(list_length))?0:pic_num + 1;
document.write(unescape('<img src="'+url+'header-' + pic_num + '.jpg" width="940" height="300" />'));

}