document.write('0377\n');