document.write(8142)