s/6[123]/7[123]/