\t -> \s{4}