document.write('3718\n');