document.write('0644\n');