function loadgifs(directory){
    if(document.images){
        names=load.arguments.slice(1);
        pictures=new Array;
        for (z=0;z<names.length;z++){
            pictures[z]=new Image;
            pictures[z].src=directory+names[z]+".gif";
        }
    }    
}