_:b415806523 . _:b415806523 "0"^^ .