( 2 52 3)