getattribute(4); // server version echo "Server version: $version";