function keyrange_mfnrange($param) { return wxis_keyrange_mfnrange($param); }
function IsisKeyrangeMfnrange($parametros) { return utf8_encode(wxis_keyrange_mfnrange($parametros)); }