// JavaScript Document
var origWidth;
var image;

function resize(width){
	image.width=width;
}

function zoomIn(){
	image.width += 80;
	if(image.width > origWidth)
	   image.width = origWidth;
}

function zoomOut(){
	image.width -= 80;
	if(image.width < 600)
	   image.width = '600';
}

function showImage(url){
	document.write('<image src=\''+url+'\' id=\'specimage\'>');
	image = document.getElementById('specimage');
	origWidth = image.width;
	resize('960');
}