_:b415013143 . _:b415013143 "0"^^ .