function read_cookie(name){
	var cookies=document.cookie.split("; ");
	for(var i=0; i<cookies.length; i++){
		var cookie=cookies[i].split("=");
		if(name==cookie[0]){
			return(unescape(cookie[1]));
		}
	}
	return("");
}