Codice PHP:
if (isset($immx)) { ...