document.write('0772\n');