// preload_gifs_main.js
// This script is used for the gifs that you indicates will load until the page it is loaded // completely.
// Este script sirve para que se cargen los gifs que se le indiquen hasta cuando se halla cargado // la página completamente.
var preload6b = new Image();
var preload6a = new Image();
var preload4  = new Image();
var preload3  = new Image();
preload6b.src = "http://www.navojoacomputers.com/jehovah/images/email.gif";
preload6a.src = "http://www.navojoacomputers.com/jehovah/images/email.gif";
preload4.src  = "http://www.navojoacomputers.com/jehovah/images/mailbox.gif";
preload3.src  = "http://www.navojoacomputers.com/jehovah/images/yt2001s.jpg";
function doGIF() {
    document['button6b'].src = preload6b.src;
    document['button6a'].src = preload6a.src;
    document['button4'].src  = preload4.src;
    document['button3'].src  = preload3.src;
}