if (!String.prototype.trim) String.prototype.trim = function() {return this.replace(/^\s+/, '').replace(/\s+$/, '');};
function initAll() {
	
	//hide subprofiles
	setProfileEventHandlers();

	//create pguidati & select 1st pguidati item
	recontructPercorsiGuidati();
	switchPguidati(1);
	
	//define link targets
	processHTMLElements();

	//recontruct pstampa	
	pstampa();
}