_:b423392952 . _:b423392952 "0"^^ .