document.write('12906');