12876 , x 3 .)