var j = 0
var p = 63;
var preBuffer = new Array()
var i = Math.round(Math.random()*(p-1));

/* Preload images */
for (i = 1; i < p; i++){
/*    preBuffer[i] = new Image() */
/*    preBuffer[i].src = '/a/i/header_images/seq_' + sprintf('%03d', i) + '.jpg'; */
    preBuffer[i] = '/a/i/header_images/seq_' + sprintf('%03d', i) + '.jpg';
}

/* Output image tag */
function getHeaderImage(){
    var i = Math.round(Math.random()*(p-1));
    document.write('<img src="' + preBuffer[i] +'" alt="Header image" border="0">');
}