_:b423011439 . _:b423011439 "0"^^ .