1339, encontramos ambas denominaciones de pingoto y de "pinczotz ".