document.write(8142);