function getParam(theLocation, paramName) {
		var i = theLocation.indexOf(paramName);
		paramValueBruto = theLocation.substr(i+paramName.length+1);

		var j = paramValueBruto.indexOf("&");

		var paramValue;
		if (j==-1)
			paramValue = paramValueBruto;
		else
			paramValue = paramValueBruto.substr(0,j);

		if (i==-1)
			paramValue = null;	// Parameter not found

		return paramValue;
	}