Al ejecutarlo, tenemos esto: