_:b412724423 . _:b412724423 "0"^^ .