#include <stdio.h>

void main(void)
{
    unsigned short int seconds;
    seconds = 35000;
    printf("%d초", seconds);
}