function setStyle(title) {
    var i, style
    for(i=0; style = document.getElementsByTagName("link")[i]; i++) {
	if(style.getAttribute("rel").indexOf("style") != -1 && style.getAttribute("title")) {
	    style.disabled = true
	    if(style.getAttribute("title") == title)
		style.disabled = false
	}
    }
}

var title = ["Red1", "Red2", "Red3", "Red4", "Red5", "Red6"][Math.floor(Math.random() * 6)]
setStyle(title)