PAGCOR is the Philippine Amusement and Gaming Corporation,