s/;/:/