SYNOPSIS
	int strlen(string str)

DESCRIPTION
	Returns the length of the string <str>.

SEE ALSO
	extract(E)
