Perdon lo escribi mal:
Código Javascript
:
Ver originalvar inp = document.getElementById("prueba");
var a = document.getElementById("miLink");
a.href = "pagin1.php"+inp.value;
Eso le asigna al link el href pagin1.php mas el valor del input si quieres agregar el nombre seria:
Código Javascript
:
Ver originalvar inp = document.getElementById("prueba");
var a = document.getElementById("miLink");
a.href = "pagin1.php"+inp.name;
Saludos