function HellWorld(){
    echo("世界你好！");
}
HellWorld();