document.write("5190 ");