anton—Anton adalah nama diri laki-laki (nama orang).