document.write('0422\n');