function random_pic(dir){

var list_length = 3;
pic_num=parseInt(Math.random()*list_length);
pic_num=(isNaN(list_length))?0:pic_num + 1;
document.write(unescape('<img src="'+dir+'/header' + pic_num + '.jpg" alt="GTT Consultancy" />'));

}