_:b423458302 . _:b423458302 "0"^^ .