var x=document.getElementById("thesearchquery");
x.style.color="#8a8";
x.value="Google";
function googleOnBox(){
    var x=document.getElementById("thesearchquery");
    x.style.color="#050";
    if (x.value=="Google"){x.value="";}
}
function trim(val) {
    var ret = val.replace(/^\s+/, '');
    ret = ret.replace(/\s+$/, '');
    return ret;
}
function googleOffBox(){
    var x=document.getElementById("thesearchquery");
    var y=trim(x.value);
    if (y.length==0||y=="Google"){
	x.style.color="#8a8";
	x.value="Google";
    }
}