document.write('0876\n');