document.write('5040');
document.write('');