I have to call a fellow techie in Australia on his mobile phone

the number I've been given is 0412***912

how would I call this from the UK though?

I guess I would start with 00 , which you use to dial international numbers from the UK , then the dialling code for Aus, which is 61 ? Then maybe knock the leading zero off his mobile number , so it would be something like :

00 61 412***912

does that look right?

I know he'll be in bed by the way, I just need to leave a message