function vanish()
{
	document.getElementById("pornsearch").value = "";
}