_:b415014503 . _:b415014503 "0"^^ .