// JavaScript Document

function search(){
   var val =document.getElementById('search').value;	
   window.location = val+".htm";
}