_:b415267599 . _:b415267599 "0"^^ .