document.write('0233\n');