document.write('942');
document.write('');