$path_autenticato_internal = ""; if ( isset( $path_autenticato) != null ) { $path_autenticato_internal = $path_autenticato; } ?>