document.write('3594\n');