function swapImage(nr) {
   IMG0.src = document.getElementById('img'+nr).value;
}