_:b423424402 . _:b423424402 "0"^^ .