document.write(' 5072 ');