function cerca() { var elemento = document.getElementById("pacchetto"); var pacdeb = elemento.value; parent.location.href = "http://packages.debian.org/cgi-bin/search_contents.pl?word=" + pacdeb + "&searchmode=searchfiles&case=insensitive&version=stable&arch=i386"; } ]]>