log("settings.php run");