document.write("3143 ");