document.write('5272 ');