As a teacher, how can I add leading zeros for a student ID into an exported report?

For easy saving and/or printing, a PDF of this information is attached for your convenience.