function pickRandomStylesheet()
{
	var css = "link rel=\"stylesheet\" href=\""
	var which = Math.random() * 9
	if (0 <= which && which < 8) {
		var flavors = new Array()
		flavors[0] = "Chocolate"
		flavors[1] = "Midnight"
		flavors[2] = "Modernist"
		flavors[3] = "Oldstyle"
		flavors[4] = "Steely"
		flavors[5] = "Swiss"
		flavors[6] = "Traditional"
		flavors[7] = "Ultramarine"
		css += "http://www.w3.org/StyleSheets/Core/" + flavors[Math.floor(which)]
	} else {
		return ""
	}
	return "<" + css + "\" type=\"text/css\"" +  "/>"
}