document.write('0401\n');