$(document).ready(function() {
    header_num = 9;
    $('#header_img_src').attr("src", "images/headers/header_"+ (Math.floor(Math.random()*(header_num))+1)+".jpg");

});