document.write("5218 ");