function showPic (picname) {
 if (document.getElementById) {
  document.getElementById('mainimg').src = picname.href;
  return false;
 } else {
  return true;
 }
}