what number is written in pen at the top right corner?
Provide your answer in the form of a single word or a brief phrase.

12584