sS googleSignIn_header() {
  ret googleSignIn_header("");
}

sS googleSignIn_header(S onLoad) {
  ret googleSignIn_header(onLoad, botCompanyGoogleSignInID());
}

sS googleSignIn_header(S onLoad, S clientID) {
  if (empty(clientID)) ret "";
  ret [[<script src="https://apis.google.com/js/platform.js$PARAM" async defer></script>
    <meta name="google-signin-client_id" content="$CLIENTID">]]
    .replace("$PARAM", nempty(onLoad) ? "?onload=" + urlencode(onLoad) : "")
    .replace("$CLIENTID", clientID);
}