Eso es Javascript. Podría ser:
Código javascript
:
Ver originallocation.href = location.href + "?len=esp";
Aunque sería mejor desde el servidor ya generar una URL del tipo:
Código:
pagina_actual.php?len=esp
Esto último lo puedeshacer usando PHP_SELF