var theHeaderImages = new Array() 

theHeaderImages[0] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img01.jpg'
theHeaderImages[1] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img02.jpg'
theHeaderImages[2] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img03.jpg'
theHeaderImages[3] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img04.jpg'
theHeaderImages[4] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img05.jpg'
theHeaderImages[5] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img06.jpg'
theHeaderImages[6] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img07.jpg'
theHeaderImages[7] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img08.jpg'
theHeaderImages[8] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img09.jpg'
theHeaderImages[9] = '/images/highschool/hs_ll_common/hs_ll_header_rndm_img10.jpg'

var j = 0
var p = theHeaderImages.length;
var preHeaderBuffer = new Array()
for (i = 0; i < p; i++) {
	preHeaderBuffer[i] = new Image()
	preHeaderBuffer[i].src = theHeaderImages[i]
}

var whichHeaderImage = Math.round(Math.random()*(p-1));

function showHeaderImage(){
	document.write('<img src="'+theHeaderImages[whichHeaderImage]+'" width="325" height="108" align="right" border="0" alt="random header image">');
}