How old was freddie highmore in Charlie and the Chocolate Factory?

Freddie Highmore was born on February 14, 1992, and "Charlie and the Chocolate Factory" was released in 2005. At that time, he would have been around 13 years old. He played the role of Charlie Bucket in the film, which marked one of his most notable early performances.