document.write (10142);