function setSkin(skinName) {
	//store the cookie value for later use
	setCookie('skin',skinName);
	//send the current skin name to the server via AJAX (theorhetically, so it can store it in the DB--not used yet)
	var ajax = new ajaxObj("/services/skin.php?skin=" + escape(skinName));
	ajax.obj.onreadystatechange = function() {
		if (ajax.obj.readyState == 4) {
			if (ajax.obj.status == 200) {
					ajax.results = eval("(" + ajax.obj.responseText + ")");
					//alert(ajax.results.skin)
			}
			ajax = null;
		}
	}
	ajax.obj.send(null);
	//change the page display immediately
	document.getElementById('skinCss').href = "/css/skins/" + skinName + ".css";
	for (var i=0; i<skinArray.length; i++) {
		removeClassName(document.getElementById(skinArray[i] + "Picker"), "skinDotActive");
	}
	addClassName(document.getElementById(skinName + "Picker"), "skinDotActive");
}

function revealSkinPicker(name) {
	if (document.getElementById('skinPickerLabel')) {
		document.getElementById('skinPickerLabel').style.display = "block";
		document.getElementById('skinPickerName').innerHTML = name;
	}
}

function hideSkinPicker() {
	if (document.getElementById('skinPickerLabel')) {
		document.getElementById('skinPickerLabel').style.display = "none";
	}
}