function enlarge(image) {
var extension = ""
if (image.substring(0,3) == "gif") {
extension = ".gif"
image = image.substring(4,image.length)
} else
extension = ".jpg";
var heightText = "document.images['" + image + "'].height"
var widthText = "document.images['" + image + "'].width"
var h = (eval(heightText) * 4) - 2
var w = (eval(widthText) * 4)
var opts = "width=" + w + ",height=" + h
nW = window.open("", "Image"+image, opts)
nW.document.write("Loading image. One moment, please.")
nW.document.write("")
nW.document.write("![](./images/"+image+extension+")
")
nW.document.close()
nW.focus()
}