_:b423880739 . _:b423880739 "0"^^ .