// JavaScript Document

function in1() {
var key = document.getElementById("keyword");
    key.value = "";
}

function out() {
var key = document.getElementById("keyword");
   if(key.value == "") {
     key.value = "Search Catalog";
   } 
}