Images  = new Array();
NImages = 0;

function preloadImg(src)
{
    Images[NImages] = new Image();
    Images[NImages].src = src;
    NImages++;
}
  
function preloadAllImages()
{
    if ( alfa )
   {
	var tail = "_0.gif";
	var i;
	for ( i = 0; i < document.images.length; i++ )
	{
	    var src = document.images[i].src;
	    if ( src.toLowerCase().lastIndexOf(tail) == src.length - 6 )
	    {
		preloadImg(src.substring(0, src.length - 6) + "_1.gif");
	    }
	}
    }
}