document.write('1674\n');