document.write('12906')