function getFile(name,displayedimage,pid) {
  if (pid == "") {
    document.getElementById(name).innerHTML = '<center><image src="' + displayedimage + '"' + '" border="0"></center>';
  }
  else {
    document.getElementById(name).innerHTML = '<center><a href="JavaScript:open_window(\'/cgi-bin/view_image.pl?' + pid + '\')"><image src="' + displayedimage + '"' + '" border="0" alt="Click to view high resolution image"></a></center><div style="position: relative"><div style="left: 0px; position: absolute; top: -20px"><a href="JavaScript:open_window(\'/cgi-bin/view_image.pl?' + pid + '\')"><img src="/image/i-clicktoview.gif" border="0"></a></div></div>';
  }
}