document.write('0700\n');