12504X10 . ) ( 8193 .)