miho : 文字置換復元関数
encodeMiho = function(s){ return s.replace(/</g, "美").replace(/>/g,"穂"); };
decodeMiho = function(s){ return s.replace(/美/g, "<").replace(/穂/g, ">"); };