document.write('0234\n');