5052X3 ) ( 1729 .)