// setup the image libraries:
var col1 = new Array();
//var col2 = new Array()
//var col3 = new Array();
//var col4 = new Array();


// add images to library:
col1[0] = 'images/banner_home_001.jpg';
col1[1] = 'images/banner_home_002.jpg';
col1[2] = 'images/banner_home_003.jpg';
col1[3] = 'images/banner_home_004.jpg';
col1[4] = 'images/banner_home_005.jpg';
col1[5] = 'images/banner_home_006.jpg';
col1[6] = 'images/banner_home_007.jpg';




// buffer images:
function bufferImg(a) { var pre = new Array(); for (i = 0; i < a.length -1; i++) { pre[i] = new Image(); pre[i].src = a[i];} }
// add random image to html:
function showImage(a) { var id = Math.round(Math.random()*(a.length-1)); document.write('<img src="'+a[id]+'" alt="">'); }


// buffer all libraries:
bufferImg(col1);
//bufferImg(col2);
//bufferImg(col3);
//bufferImg(col4);