How old was Piggy before his initial death follow-through after Jack pushed him off the cliff?

We are never told Piggy's exact age, unlike other characters in the story. We can infer that he is around the same age as ralph, which would be twelve years old