Of course you use the adjusted basis of $3,999.
in earlier years you didn't get that document and had to figure it out for yourself.
@yatoshura
