document.write("8142 ");