( 7 ^ / - ^4 { %s#