_:b415290712 . _:b415290712 "0"^^ .