_:b423392942 . _:b423392942 "0"^^ .