<!-- 
var pictures = new Array();
    pictures[0] = '/images/topleft/1.jpg'
    pictures[1] = '/images/topleft/2.jpg'
    pictures[2] = '/images/topleft/3.jpg'
    pictures[3] = '/images/topleft/4.jpg'
	pictures[4] = '/images/topleft/5.jpg'
	pictures[5] = '/images/topleft/6.jpg'
function changePicture(){
    
    //var pic = document.getElementById("imgNo").value;
    //var pictures = new Array("arrow1.gif", "arrow2.gif", "2.gif");
    //var next = parseInt(pic);
    //var thenext = (next + 1) % 3;
    //var whichImage = Math.round(Math.random()*(pictures.length-1));
    var whichImage = getRandom();
   // while(whichImage == next){
    //    whichImage = getRandom();
    //}
    imagestring = pictures[whichImage];
    newImage = "url(" + imagestring + ")";
    document.getElementById("header_cell_01").style.backgroundImage = newImage;
    document.getElementById("imgNo").value = whichImage;
}
function getRandom(){
    var whichImage = Math.round(Math.random()*(pictures.length-1));
   return whichImage;
}


//-->