document.write('0212\n');