( 2 53 4)