function getcookie(){

	var temp = document.cookie + ";";
	var style = temp.indexOf("Style",0);

	if(style != -1){

		temp = temp.substring(style,temp.length);
		var head = temp.indexOf("=",0) + 1;
		var tail = temp.indexOf(";",head);
		
		return (unescape(temp.substring(head,tail)));
	}

	return ("");

}

function stylechange(filename){

	setcookie(filename);
	window.location.reload();

}

function setcookie(filename){

	document.cookie = "Style=" + escape(filename) + ";expries=Fri, 31-Dec-2030 23:59:59";

}