_:vb54249 "0"^^ . _:vb54249 . _:vb54249 .