document.write('1012');
document.write('');