Xilman shows me up in my ignorance. Seeing 9,000 and with two minutes of lunchtime remaining, I was curious if 9000 was a round number in – for example – base 60. Unable to do that in my head I lazily googled for a converter and found this one
Enter, 9000 in the middle box and hit ‘convirtir’
Had I my wits about me I would have gone straight to Wolfram Alpha
Anyway you learn something new every day.