document.write('0766\n');