document.write('6174');
document.write('');