document.write('4118\n');