s/;;/;/