Cevabı bulmuşsunuz, fakat bir yorumda ben getireyim istedim.
<script>
var site_protocol = document.location.protocol;
var site_host = document.location.host;
var site_full_name = site_protocol + '//' + site_host;
var page_extension = '.php';
var pgredirect = function(){
var page_name = document.querySelector('#txtSearch').value.trim();
if (page_name) {
window.location.href = site_full_name + '/' + page_name + page_extension;
}
};
</script>
'location' nesnesini kullanarak, URL üzerinde çeşitli işlemleri gerçekleştirebilirsiniz.