_:b10009 "1"^^ . _:b10009 . _:b10009 .