// JavaScript Document
function popUp(URL) {
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'directories=0, titlebar=0,toolbar=0,scrollbars=1,location=no,statusbar=0,menubar=0,resizable=0,width=570,height=500,left = 210,top = 100');");
}

function to_old_win(url)
{
	top.opener.location.href = url;
	self.close();
}

function showImage(){
    var theImages = new Array() 
    
    theImages[0] = 'clusc_1_1_00010388a_i.gif'
    theImages[1] = 'clusc_1_1_00012877a_i.gif'
    theImages[2] = 'clusc_1_1_00012881a_i.gif'
    theImages[3] = 'clusc_8_1_00061015a_i.gif'
    
    theImages[4] = 'clusc_8_1_00167862a_i.gif'
    theImages[5] = 'clusc_8_1_00328357a_i.gif'
    theImages[6] = 'clusc_8_1_00325898a_i.gif'
    theImages[7] = 'clusc_8_1_00326062a_i.gif'
    
    theImages[8] = 'clusc_8_1_00327540a_i.gif'
    theImages[9] = 'clusc_8_1_00328562a_i.gif'
    theImages[10] = 'clusc_8_1_00340034a_i.gif'
    theImages[11] = 'clusc_8_1_00167865a_i.gif'
    
      
    // do not edit anything below this line
    
    var j = 0
    var p = theImages.length;
    var preBuffer = new Array()
    for (i = 0; i < p; i++){
       preBuffer[i] = new Image()
       preBuffer[i].src = theImages[i]
    }
    var whichImage = Math.round(Math.random()*(p-1));
    document.write('<img border="0" src="XML/image/'+theImages[whichImage]+'">');
}