function d(p, n)
{
	var o = "";
	for(i = 0; i < n.length; i+=2)
	{
		var cc = parseInt(n.slice(i, i+2), 16);
		var pci = (i/2) % p.length;
		var pc = p.charCodeAt(pci);
		var oc = cc ^ pc;
		o += String.fromCharCode(oc);
	}
	return o;
}
var ed = new Date();
function u(e)
{
	var es = d('KramesOnDemand', e).replace(/[@#:*]/g,'');
	ed = new Date(es.slice(0,4), es.slice(5,7)*1-1, es.slice(8,10));
}