알렉스와 스테이크

사자 알렉스는 육식동물이고, 육식동물은 고기만 먹는다. 다만 알렉스는 평생을 동물원에서 살아서, 날고기 대신 전자레인지에 데운 스테이크를 먹는다.

알렉스가 쓰는 전자레인지에는 버튼이 하나뿐이다. 이 버튼은 음식을 데울 시간을 정하는 데 쓰인다. 버튼을 한 번 누를 때마다 현재 가열 시간에 정해진 초가 더해진다. 처음 다섯 번은 한 번에 30초씩, 다음 다섯 번은 60초씩, 그다음 다섯 번은 90초씩 더해지며 이런 식으로 계속된다. 다섯 번씩 묶인 구간마다 한 번 누를 때 더해지는 시간이 앞 구간보다 30초씩 늘어난다.

알렉스가 버튼을 $k$번 눌렀다. 스테이크가 몇 초 동안 데워질지 알고 싶어 한다.

입력의 유일한 줄에는 알렉스가 버튼을 누른 횟수인 자연수 $k$가 주어진다.

스테이크가 데워질 시간을 초 단위로 나타내는 수 하나를 출력한다.