_:b415095872 . _:b415095872 "0"^^ .