_:b423131309 . _:b423131309 "0"^^ .