ma usare $_SERVER['HTTP_REFERER'] sulla pagina di destinazione non funziona perché è richiamata tramite javascript?