document.write (5142);