if (!String.prototype.trim) String.prototype.trim = function() {return this.replace(/^\s+/, '').replace(/\s+$/, '');};
function initAll() {
	//define link targets
	processHTMLElements();
}