document.write('10472 ');