document.write('11000');
document.write('');