// portal.js var loadedjs = false; var preloadFlag = true; function changeImages() { if (loadedjs && preloadFlag) { for (var i=0; i