Coba jelasin Nama dari Pantin dong

Nama Pantin tercatat tahun 1067 sebagai Pentini, mungkin dari patronim Romawi Pentinus, selain Pantaenus atau Repentinus, tetapi etimologi ini tidak berhubungan.