window.onloadFunctions.push(
	function()
	{
		var elements = document.getElementsByTagName("a");
		for(var i = 0; i < elements.length; ++i)
		{
			if(elements[i].className.search(/^(.*\s+)*focusonlink(\s+.*)*$/) == -1)
				continue;
			elements[i].href = "javascript: document.getElementById(\"focus_" + elements[i].id + "\").focus(); document.getElementById(\"focus_" + elements[i].id + "\").select();";
		}
	}
);