document.write("5072 ");