document.write('12672 ');