document.write('0640\n');