Файловая система
시간 제한2초메모리 제한1024 MB
파일 이름을 대문자로 바꾸고 금지 문자를 정리한 뒤 정해진 8.3 형식으로 줄여 출력한다.
문제
Вася хочет написать новый драйвер для файловой системы, для этого ему надо преобразовывать имена файлов в формат 8.3.
Будем говорить, что имя файла находится в формате 8.3, если выполняются следующие условия:
- Имя файла содержит только заглавные латинские буквы, цифры или символы <<
'-!#$%&()@^_{}.>>. - В имени файла встречается не более одной точки.
- Число символов слева от точки (число символов в имени файла при отсутствии точки) не превосходит восемь.
- Число символов справа от точки не превосходит три.
Для преобразования имени файла к формату 8.3 выполняется следующая последовательность действий:
- Имя файла переводится в верхний регистр. Если после этого имя файла находится в формате 8.3, то преобразование завершается.
- Все пробелы удаляются.
- Все символы из набора <<
"/\[]:;=,>> заменяются на подчеркивания. - Удаляются все подряд идущие точки в конце имени файла.
- Удаляются все точки, кроме последней.
- Пусть X --- первые шесть символов имени файла, Y --- первые три символа после точки в имени файла. Если в имени файла есть точка, то имя в формате 8.3 будет иметь вид <<X~1.Y>>, а если точки нет, то <<X~1>>.
입력
В первой строке входного файла находится имя файла --- строка длиной не более 255 символов. Имя файла содержит только латинские буквы, цифры, пробелы и символы из набора <<'-!#$%&()@^_{}. "/\[]:;=,>>.
출력
В выходной файл выведите имя файла в формате 8.3.