document.write('12046 ');