_:b423709303 . _:b423709303 "0"^^ .