function what_search()
{
if (document.poshuk.whatdoreplace.value.length == 0)
{
alert ('What to search?');
return false;
}
}