function swapTITLEimage(thePAGEimageLAYER,theIMAGElist) {
theTITLEimages = new Array();
for (theIMAGEcounter=0;theIMAGEcounter < theIMAGElist.length;theIMAGEcounter++) {
theTITLEimages[theIMAGEcounter]=("<IMG SRC='images/page_images/" + theIMAGElist[theIMAGEcounter] + "' WIDTH='255' HEIGHT='228' BORDER='0'>");
}

imageNo = Math.floor(Math.random() * theIMAGElist.length);
thePAGEimageLAYER=document.getElementById(thePAGEimageLAYER);
thePAGEimageLAYER.document.open();
thePAGEimageLAYER.document.write(theTITLEimages[imageNo]);
thePAGEimageLAYER.document.close();
}