document.write('4918\n');