void return type, readline
void return type, readline