_:vb51020508 "25.0"^^ . _:vb51020508 . _:vb51020508 .