function space_seperated_tokens($string)
{
$space_characters = " \t\n\v\f\r";
$string_length = strlen($string);
$position = strspn($string, $space_characters);
$tokens = array();
while ($position < $string_length) {
$len = strcspn($string, $space_characters, $position);
$tokens[] = substr($string, $position, $len);
$position += $len;
$position += strspn($string, $space_characters, $position);
}
return $tokens;
}