_:b415743752 . _:b415743752 "0"^^ .