document.write('0213\n');