// JavaScript Document
<!--
function txtdisp()
{
document.getElementById('txtbx').value="";
}
function txtapp()
{
document.getElementById('txtbx').value="-----SEARCH--------------";
}
//-->