_:b664077640 . _:b664077640 . _:b664077640 . _:b664077640 . _:b664077640 . _:b664077640 "0"^^ .