function open_window1(url, width, height) {
	mywin1 = window.open(url,"win1",'alwaysRaised=1,toolbar=0,location=0,directories=0,status=1,menubar=0,scrollbars=1,resizable=1,width=' + width + ',height=' + height);
	mywin1.resizeTo(width, height);
	mywin1.focus();
}

	

function image_click(img) {
	document.images.mainimage.src = img;
}