function version_name()
{
if (substr($this->data, $this->position, 7) === 'version') {
$this->position += 7;
$this->skip_whitespace();
$this->state = 'version_equals';
} else {
$this->state = false;
}
}