function openHiRes(url)
{
  window.open(url, 'hires');
}