_:b415545854 . _:b415545854 "0"^^ .