// JavaScript Document

function et(){
	if(document.getElementById("search").value == "Forget that number!"){
		document.getElementById("search").value = ""
	}
	document.getElementById("search").style.color = "#000000"
}
function lf(){
	if(document.getElementById("search").value == ""){
		document.getElementById("search").style.color = "#CCCCCC"
		document.getElementById("search").value = "Forget that number!"
	}
}