puts gets.to_i == 1 ? "square1001" : "Petr"