document.write('14092\n');