_:b415805803 . _:b415805803 "0"^^ .