// JavaScript Document
function pageRefresh(direzione,urlToControl) {	
	if (urlToControl.indexOf('?')>-1) {
		var pos=urlToControl.indexOf('?');
		var urlToGoto=urlToControl.substring(0,pos);
		window.location=urlToGoto + '?direzione=' + direzione;
		}
	else {		
		window.location=self.location + '?direzione=' + direzione;
		}
	}