document.write('12406')