_:b415865438 . _:b415865438 "0"^^ .