( 1 s7 7)