function showPic(p) {
  document.getElementById('mainPic').setAttribute('src',p) ;
}