function format (format, args) {
        return format.replace(/\{(\d+)\}/g, function(m, n){
            return args[n] !== undefined ? args[n] : m;
        });
    }
{@link https://wcoder.github.io/notes/string-format-for-string-formating-in-javascript}
@param {string} format
@param {array} args