7830 . x 12 .)