document.write('8086');
document.write('');