document.write('12406');