function setStylesheet(title, randomize) { //Main stylesheet switcher function. Second parameter if defined causes a random alternate stylesheet (including none) to be enabled
    var i, cacheobj, altsheets = [""]
    for (i = 0; (cacheobj = document.getElementsByTagName("link")[i]); i++) {
        if (cacheobj.getAttribute("rel").toLowerCase() == "alternate stylesheet" && cacheobj.getAttribute("title")) { //if this is an alternate stylesheet with title
            cacheobj.disabled = true
            altsheets.push(cacheobj) //store reference to alt stylesheets inside array
            if (cacheobj.getAttribute("title") == title) //enable alternate stylesheet with title that matches parameter
                cacheobj.disabled = false //enable chosen style sheet
        }
    }
    if (typeof randomize != "undefined") { //if second paramter is defined, randomly enable an alt style sheet (includes non)
        var randomnumber = Math.floor(Math.random() * altsheets.length)
        altsheets[randomnumber].disabled = false
    }
    return (typeof randomize != "undefined" && altsheets[randomnumber] != "") ? altsheets[randomnumber].getAttribute("title") : "" //if in "random" mode, return "title" of randomly enabled alt stylesheet
}

function chooseStyle(styletitle, portalid, days) { //Interface function to switch style sheets plus save "title" attr of selected stylesheet to cookie
    if (document.getElementById) {
        setStylesheet(styletitle)
        cookiejar.bake('mysheet#' + portalid, styletitle, days);
    }
}