document.write('42022');
document.write('');