/* FILE ARCHIVED ON 15:02:49 Oct 5, 2009 AND RETRIEVED FROM THE AN OPENWAYBACK INSTANCE ON 14:40:23 Jul 4, 2024. JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE. ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C. SECTION 108(a)(3)). */ var persisteduls=new Object() var ddtreemenu=new Object() ddtreemenu.closefolder= imageDir + "plus.gif" //set image path to "closed" folder image ddtreemenu.openfolder= imageDir + "minus.gif" //set image path to "open" folder image //////////No need to edit beyond here/////////////////////////// ddtreemenu.createTree=function(treeid, enablepersist, persistdays){ var ultags=document.getElementById(treeid).getElementsByTagName("ul") if (typeof persisteduls[treeid]=="undefined") persisteduls[treeid]=(enablepersist==true && ddtreemenu.getCookie(treeid)!="")? ddtreemenu.getCookie(treeid).split(",") : "" for (var i=0; i