document.write('10542 ');