Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/17960/tagging-official-id-of-a-school/17961