( 5 52 7)