// JavaScript Document

/*var caption = new Array();
caption[0] = ""; */

function changepic(img_src) {
document.images['theImg'].src = img_src;
/*if (document.getElementById)
document.getElementById("theCaption").innerHTML = caption[cap_num]
else
theCaption.innerHTML = caption[cap_num] */
}