if ($token->[0] eq 'S' and $token->[1] eq 'div' and
	   ($token->[2]{'class'} || '') eq 'text12') {
						print $stream->get_trimmed_text('/div');
	                                             }