document.write('0201\n');