s/;/: