function zoom(file, width, height)
{
    var zoomWin;
    var path;
    var options = 'menubar=no,toolbar=no,status=no,location=no,dependent=yes,copyhistory=no,directories=no';

    path = '/art/paintings/' + file + '.jpg';

    width += 25;
    height += 40;
    options += ',width=' + width;
    options += ',height=' + height;

    zoomWin = window.open(path, 'Zoomed_Painting', options);

    if (zoomWin.focus)
	zoomWin.focus();
}
