function ajaxPing() {
	req = new Ajax(PageRoot+'ajax', {method:'get', autoCancel:true})
	req.request();
}

function startPing() {
	ajaxPing.periodical(12000);
}

function dobfuscate(array, label) {
	ret = "<a href='";
	array.each(function(s){
		ret = ret+String.fromCharCode(s);
	});
	ret = ret+"'>"+label+"</a>";
	
	document.write(ret);
}