document.write("4143 ");