document.write('0246\n');