document.write('0223\n');