function enlarge(image) {
// '[gif]/[xy|XXX|YYY]/[imagename]'
var extension = ""
if (image.substring(0,3) == "gif") {
extension = ".gif"
image = image.substring(4,image.length)
} else
extension = ".jpg";
if (image.substring(0,2) == "xy") {
var heightText = parseFloat(image.substring(5,8))
var widthText = parseFloat(image.substring(2,5))
image = image.substring(9,image.length)
var h = heightText - 1
var w = widthText
} else {
var heightText = "document." + image + ".height"
var widthText = "document." + 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()
}