devo recuperare dall'indirizzo della pagine es

prova.html?user=pippo

nella pagina prova ho messo:
Codice PHP:
        <script type="text/javascript">
function 
setParameter(thePartheValue) { 
var 
pc "";
var 
pa getParameterNames();
for (var 
0pa.lengthi++) {
     if (
pa[i] != thePar) {
       
pc += "&" pa[i] + "=" getParameter(pa[i]);
     }
   }   
pc += "&" thePar "=" escape(theValue);   
return 
pc.substring(1); } 
</script> 
poi però nel body come faccio a ricavare la variabile user?

cioè voglio che nella pagina mi esca
CIAO pippo