发送短信 : Contributions to non-standard analysis.