document.write('6942');
document.write('');