static public function stripScriptName($path)
	{
	    if (isset($_SERVER['SCRIPT_NAME']) && ($pos = strpos($path, $_SERVER['SCRIPT_NAME'])) === 0) {
	        $path = substr($path, strlen($_SERVER['SCRIPT_NAME']));
	    }
	    return $path;
	}