<?
function text($str)
{
	return stripcslashes(htmlspecialchars($str));
}
?>