window.has_executed_script = true;