/* search buttons for the search pages */
var urlPage = document.URL;
var pageSt = urlPage.lastIndexOf("/");
var page = urlPage.substr(pageSt + 1, 30);
//document.write(pageSt + " " + page);
if (page == "login.htm") {
  document.write("<INPUT id='SEARCH' style='WIDTH: 60px; HEIGHT: 25px' type='submit' value='Submit'>\n");
}
else {
  document.write("<INPUT id='SEARCH' style='WIDTH: 60px; HEIGHT: 25px' type='submit' value='Search'>\n");
}
document.write("&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;\n");
document.write("<INPUT id='RESET' style='WIDTH: 60px; HEIGHT: 25px' type='reset' value='Clear'>\n");