_:b424439451 . _:b424439451 "0"^^ .