// $(document).ready(function()
// {
    // /* Change the headers.
    // At the moment the old headers are served into a hidden div, this script
    // puts that image at the bottom of the page.

     // */
    // var new_header = $("header #hidden").contents()[0].data;
    // if(new_header != "pics/header_general.jpg")
    // {
        // var img = new Image();

        //wrap our new image in jQuery, then:
        // $(img)
          //once the image has loaded, execute this code
          // .load(function () {
            //set the image hidden by default
            // $(this).hide();

            //with the holding div #hidden, apply:
            // $('#hidden')
              //remove the placeholder class,
              // .removeClass('hidden');
            //then insert our image
            // $("div.mainframe").append(this);

          //fade our image in to create a nice effect
          // $(this).fadeIn();
        // })

        //if there was an error loading the image, react accordingly
        // .error(function () {
          // alert('An image could not be loaded');
        // })

        //*finally*, set the src attribute of the new image to our image
        // .attr('src', new_header);
        

        //Or this one line... to replace existing header
        // /*$("header").css('background-image', 'url("'+ new_header + '")')*/
    // }        
// }
// );