document.write('5094 ');