static void setSmartBotURL(S url) {
  ret saveProgramTextFile(#1010745, "location.txt", url);
}