document.write('14327\n');