파일 확장자

Yashar의 이미지, commons.wikimedia.org에서 가져옴

Geir는 컴퓨터를 특별히 잘 다루지 못해서 파일을 열 때 자주 어려움을 겪는다. 수업 중 학생들에게 무언가를 보여 주기 위해 파일을 열어야 할 때가 종종 있어서, 이 때문에 수업이 자주 지연된다. 일을 좀 더 원활하게 진행할 수 있도록 그의 친구는 파일 확장자(아이슬란드어로는 나프나우키)의 목록과 각 확장자에 대해 무엇을 해야 하는지를 준비해 주었다. 예를 들어 MP4 파일의 경우, 파일을 두 번 클릭하여 동영상 재생기를 열고, 두 번 클릭하여 전체 화면으로 전환하고, 한 번 더 클릭하여 재생을 시작한 다음 마지막으로 커서를 재생기 밖으로 옮기면 된다고 적혀 있었다.

여기까지는 모두 좋았지만, 이 목록을 실제로 사용하려 하자 Geir는 주어진 파일의 확장자가 무엇인지 알아내는 방법을 전혀 모른다는 사실을 깨달았다. 그를 도와줄 수 있는가?

파일 확장자의 길이는 항상 한 글자에서 다섯 글자이다. 파일 확장자는 파일 이름의 마지막 점 뒤에 오는 모든 것으로 정의된다.

채점

그룹 | 점수 | 제한 조건

1 | 30 | 파일 확장자는 정확히 $3$글자이다.

2 | 40 | 파일 이름에는 점이 정확히 하나 있다.

3 | 30 | 추가 제한 조건이 없다.

입력은 Geir가 열려고 하는 파일의 이름이 담긴 한 줄로 주어진다. 파일 이름에는 대소문자 a부터 z까지의 ASCII 글자와 점, 그리고 숫자 $0$부터 $9$까지만 포함된다. 파일 이름에는 위에서 설명한 유효한 파일 확장자가 항상 존재한다. 파일 이름은 최대 $32$글자이다.

파일의 확장자를 점과 함께 출력한다.