_:b423614739 . _:b423614739 "0"^^ .