function read_cookie(cookiename) {
	savedcookies = new Array();
	cookies = document.cookie;
	cookies = cookies.replace(/; /gi, ';');
	semisplit = cookies.split(';');		
	countsplit = 0;
	stopsplit = 0;
	
	while(stopsplit == 0)
	{
		gleichsplit = semisplit[countsplit].split('=');
		savedcookies[gleichsplit[0]] = gleichsplit[1];
		countsplit++;
	
		if(!(semisplit[countsplit]))
		{
			stopsplit = 1;
		}
	}
		
	if(savedcookies[cookiename])
	{
		return savedcookies[cookiename];
	}
	else
	{
		return 0;
	}
}