// JavaScript Document
function get_srch_val()
{
var srch_val;
srch_val = document.getElementById("search").value;
document.write(srch_val);
}