document.write('0777\n');