Those are some nice AIS cost numbers! Still way too many companies that are three or four times that.