document.write ("10142");