function setLocation(uid) {
	var target = "index.php?" + uid;
	window.location.href = target;
}

var fOld = window.onload || function () {};
window.onload = function() {
	fOld();
	var aEls = document.getElementsByTagName('a');
	for (var i = 0; i < aEls.length; i++)
		aEls[i].onfocus = function(){ this.blur(); };
};

var version;