123456789101112∣13∣14151617181920