document.write('0771\n');