12544x1 ) ( 1431 .)