document.write('0211\n');