hivatalos megnevezés: Prosačov, magyar megnevezés: Porszács (település), kód: [529028], járás: Varannó [713], kerület: Eperjesi kerület [7]
