document.write('0423\n');