window.location.href = "'.$url_basic.'results"; '; exit; break; } //==================================================== #echo '

---

'.json_encode($_SESSION, JSON_PRETTY_PRINT).'

---

';exit;