// zoom Close window image --> function newImage(arg) { if (document.images) { rslt = new Image(); rslt.src = arg; return rslt; } } function changeImages() { if (document.images && (preloadFlag == true)) { for (var i=0; i var JS_PATH = "/js/"; /******************************************************************************** Misc. User Agent setup and debug functions ********************************************************************************/ // use( string )includes ancilliary thing class files that aren't loaded by default: function use( what ){ what = what.toLowerCase(); if( ! usedFiles[what] ) document.write( '\n' ); usedFiles[ what ] = true; } var usedFiles = new Array(); window.origInit = window.init; if( window.origInit == null ) window.origInit = function(){} init = function( fcn ){ if( ! window.initFunctions ) window.initFunctions = new Array(); if( typeof(fcn) == "string") window.initFunctions[ window.initFunctions.length ] = fcn; else{ origInit(); for( var i=0; i