_:b425303384 . _:b425303384 "0"^^ .