// common functions


// preload images (for animation)
function preload_images(images) {
  var img;
  for (i=0; i<images.length; i++) {
      img=new Image();
      img.src=images[i];
      }  
  }