document.write('1011\n');