$_SERVER['HTTP_REFERER'] != $_SERVER['HTTP_REFERER']

[piero.mac]

Difatti non ha senso, confronti la stessa cosa.