( * S7 .)