System.file.stdin|read(1e4)|replace("htt","tt")|print;