// JavaScript file to open a new viewer window

	var Viewer = null

function dispImage(str, wimge, himge) {
	var winProp = "toolbar=0,scrollbars=0,resizable=0"
	var html = "graphics/"
        var winViewer = "Viewer"
        var winDoc = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2 Final//EN\">\n"

        html += str
        winProp += ",width=" + wimge
        winProp += ",height=" + himge
        winDoc += "\n<HTML><HEAD><TITLE>Image viewer</TITLE>\n"
        winDoc += "</HEAD><BODY>"
	winDoc += "\n<P><center><IMG src=\"" + html + ".gif\"></P>"
	winDoc += "</center></BODY></HTML>"

        //if (imageViewer.closed) {
	    //imageViewer = window.open ("", "Viewer", winProp)
        //imageViewer.close()
    imageViewer = window.open ("", "Viewer", winProp)
	imageViewer.document.open()
	imageViewer.document.write(winDoc)
	imageViewer.document.close()
}

