function getCookie(title) { 
var re=new RegExp(title+"=[^;]+", "i"); 
if (document.cookie.match(re)) 
return document.cookie.match(re)[0].split("=")[1] 
return null }

function setCookie(title, value, days) {
var expireDate = new Date()
var expstring=(typeof days!="undefined")? expireDate.setDate(expireDate.getDate()+parseInt(days)) : expireDate.setDate(expireDate.getDate()-5)
document.cookie = title+"="+value+"; expires="+expireDate.toGMTString()+"; path=/"; }

function deleteCookie(title){
setCookie(title, "drop")}

function setStylesheet(title, randomgen)
{ 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 randomgen!="undefined")
{ var test_number=Math.floor(Math.on_test()*altsheets.length)
altsheets[test_number].disabled=false
}
return (typeof randomgen!="undefined" && altsheets[test_number]!="")? altsheets[test_number].getAttribute("title") : "" }

function swapStyle(stylename, days)
{if (document.getElementById){
setStylesheet(stylename)
setCookie("style_sheet", stylename, days)
} }

{ var nameselected=getCookie("style_sheet")
if (document.getElementById && nameselected!=null) 
setStylesheet(nameselected)
}