_:b425540394 . _:b425540394 "0"^^ .