_:b423408815 . _:b423408815 "0"^^ .