12137 x 1 ) ( 5857 .)