_:b423350412 . _:b423350412 "0"^^ .