// 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"; 
   }  
}