print_string"∞"