// jQuery plugin.
    // This plugin is pretty simple.  It preloads images, use like so:
    // jQuery.preloadImages("image1", "/path/to/image/1", ... )
    jQuery.preloadImages = function()
    {
      for(var i = 0; i<arguments.length; i++)
	{
	  jQuery("<img/>").attr("src", arguments[i]);
	}
    }