<!--
 function cardswap(card1) {
  var newcard = card1;
  document.getElementById('mainpic').src = newcard;
 }
// -->