document.write('10942');
document.write('');