document.write ("9142")