  <!--

  // sample JavaScript function that displays an alert box
  function test() {
    alert("Yes, my user.js JavaScript file is working!");
  }

  //put your additional JavaScript code here ...

  //-->
   function cambiarvalor(dato) {
   document.forms[0].campotexto.value=dato;
   return true;
   }