document.write('1729');
document.write('');