document.write('14672 ');