_:b423458312 . _:b423458312 "0"^^ .