// Copyright (c) 2003 by Alexey Kulentsov
// unicode 4-digit chars decoder

function unidec(text)
{
	var i,output='';
	for(i=0;i<text.length;i++)
	{
		if(result=text.match(/^&#([0-9]+);/))
		{
			output+=String.fromCharCode(parseInt(result[1],10));
			i+=result[0].length-1;
		}else
			output+=text.charAt(i);
	}
	return output;
}