function reload2(id) {
  document.location.reload();
}

function displayImage(id) {
  window.open('showimage.php?id='+id, 'image', 'width=100,height=100,status=no')
}

function mp3player(id) {
  window.open('mp3player.php?id='+id, 'image', 'width=100,height=100,status=no')
}

function swapImage(name, src) {
    document.images[name].src = src;
}