document.write('0171\n');