7830 , x 12 .)