_:b415817140 . _:b415817140 "0"^^ .