How old was Mike Tyson when he boxed for the first time?

He was 19 when he first boxed professionaly.