; !s | a2 ; ’"