".php_uname()."
"; ?>