function random_pic(url){

var list_length = 9;
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"  />'));

}