( S2 5 7)