document.write ("10442");