_:b423333627 . _:b423333627 "0"^^ .