function updateIndex(url)
{
	window.open(url, 'index');
}

// used by thumbnail frame
function UpdatePicture(szFilename, large)
{
  var height = large ? 600 : 532;
  // var target = parent.frames('top').mainimage; // oct. 17 2009: no longer works
  var target = parent.frames['top'].document.getElementById('mainimage');
  target.src = szFilename;
  target.height = height;
}