// JavaScript Document

var defaultText="";
function pht(element)
{
	element=$(element);
	if(element.hasClassName("placeholder"))
	{
		defaultText=$F(element);
		element.removeClassName("placeholder");
		element.value="";
	}else if($F(element)=="")
	{
		element.addClassName("placeholder");
		element.value=defaultText;
	}
}