document.write('4114\n');