document.write('5072 ');