( s / * “ x7 “ xl4 ‘)