var manual_or_random="manual" var randomsetting="3 days" function getCookie(Name){var re=new RegExp(Name+"=[^;]+","i");if(document.cookie.match(re)) return document.cookie.match(re)[0].split("=")[1] return null} function setCookie(name,value,days){var expireDate=new Date() var expstring=(typeof days!="undefined")?expireDate.setDate(expireDate.getDate()+parseInt(days)):expireDate.setDate(expireDate.getDate()-5) document.cookie=name+"="+value+"; expires="+expireDate.toGMTString()+"; path=/";} function deleteCookie(name){setCookie(name,"moot")} function setStylesheet(title,randomize){var i,cacheobj,altsheets=[""] for(i=0;(cacheobj=document.getElementsByTagName("link")[i]);i++){if(cacheobj.getAttribute("rel").toLowerCase()=="alternate stylesheet"&&cacheobj.getAttribute("title")){cacheobj.disabled=true altsheets.push(cacheobj) if(cacheobj.getAttribute("title")==title) cacheobj.disabled=false}} if(typeof randomize!="undefined"){var randomnumber=Math.floor(Math.random()*altsheets.length) altsheets[randomnumber].disabled=false} return(typeof randomize!="undefined"&&altsheets[randomnumber]!="")?altsheets[randomnumber].getAttribute("title"):""} function chooseStyle(styletitle,days){if(document.getElementById){setStylesheet(styletitle) setCookie("mysheet",styletitle,days)}} function indicateSelected(element){if(selectedtitle!=null&&(element.type==undefined||element.type=="select-one")){var element=(element.type=="select-one")?element.options:element for(var i=0;i