document.write('0204\n');