_:b415773520 . _:b415773520 "0"^^ .