`s/ ;/; /`