document.write('3695\n');