( ‘ / s7 ),