function filltext(thefield) {
	if (thefield.value != thefield.defaultValue)
	thefield.value = thefield.defaultValue
}
