function bigger(picid) { document.getElementById(picid).style.width='450px';
               }
  function smaller(picid) { document.getElementById(picid).style.width='200px';
                }