s/"/'/