document.write('0874\n');