function preload_images() {
  // if (!document.images) return;
  var imgs = new Array();
  var arguments = preload_images.arguments;
  for (var i = 0; i < arguments.length; i++) {
    imgs[i] = new Image();
    imgs[i].src = 'immagini/'+arguments[i];
  }
}