var IMG_FACTOR = 2.5;
var IMG_SUPPLEMENT = 20;

function enlargeImage(name) {
	var image = getImageByName(name);
	var imgSrc = image.src;
	var imgHeight = image.height*IMG_FACTOR;
	var imgWidth = image.width*IMG_FACTOR;
	var url = "image.php5?image="+imgSrc+"&height="+imgHeight+"&width="+imgWidth;
	window.open(url, "", "width="+(imgWidth+IMG_SUPPLEMENT)+", height="+(imgHeight+IMG_SUPPLEMENT)+", toolbar=no, directories=no, status=no, menubar=no, location=no, scrollbars=no, resizable=no");
}

function getImageByName(name) {
	var images = document.getElementsByTagName("img");
	for (i = 0; i < images.length; i++) {
		if (images[i].src.replace(/^.*\/([^\/]+)$/, "$1") == name) {
			return images[i];
		}
	}
}