13372x1 ) ( 6123 .)