function openPic(image, n, w, h) { //openPic()
var picwin = open("","picwin","width=" + w + ",height=" + h);
picwin.document.open();
picwin.document.write(
"" + n + "" +
"" +
"![](" + image + ")
" +
""
);
picwin.document.close();
picwin.focus();
} //openPic()
function tabhighlight(i, x) { //highlight()
document.images[i].src = "images/" + i + "-" + x + ".gif";
} //highlight()