What was the monkey's name in 'The Golden Compass'?

In the books his name was not given. There was a BBC radio show version of the story. In it, he was named Ozymandias.