document.write(10142);