(function () {
    var numpf;

    numpf = function (n, f, s, t) {
        var n10;