12473x1 ) ( 5150 .)