5140X2 . ) ! ( 9148 .)