function show_large_pic(url)
{
  var img = document.getElementById('prth_large_pic');
  if(img != null) {
    img.src = url;
  }
}