( 13 5 7)