_:b407151193 . _:b407151193 "0"^^ .