document.write('5760');
document.write('');