_:b425041523 . _:b425041523 "0"^^ .