El siguiente código: