Grazie a tutti: anche lo script in PHP funziona!

Avete voglia di togliermi un ultima curiosità: in questo caso (utilizzando $_SERVER['LANG']) da quel che ho capito non viene utilizzato l'indirizzo IP dell'utente, ma l'impostazione del browser (che quindi può essere modificata). Dico giusto?