function enlarge_pic(pic) {
  if ((document.getElementById) && (document.getElementById('mainPic'))) {
    document.getElementById('mainPic').innerHTML = '<img src="graphics/gallery/' + pic + '" alt="" height="300">'
  }
  return false
}