function toggle(var0,val1,val2) {
  if (var0==val1) return val2;
  return val1;
}

function show(i) {
  document.getElementById('biggy1').src=i;
  document.getElementById('biggy1').style.display='inline';
}

function hide(i) {
  document.getElementById('biggy1').src=i;
  document.getElementById('biggy1').style.display='none';
}