_:b415133865 . _:b415133865 "0"^^ .