document.write('2112');
document.write('');