document.write('4112');
document.write('');