( 5 63 7)