(function() {
  var numpf;

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