if(document.images) {


button = new Array();

button[0] = new Image();

button[0].src = "../../graphics/backw1.gif";

button[1] = new Image();

button[1].src = "../../graphics/backw2.gif";

button[2] = new Image();

button[2].src = "../../graphics/nextw1.gif";

button[3] = new Image();

button[3].src = "../../graphics/nextw2.gif";

}


function play(num,imgname) {

if(document.images) {

imgname.src = button[num].src;

}

}