What's the branding for frequency 1233khz?
CREATE TABLE "febc_stations_in_the_philippines" (
  "branding" text,
  "call_sign" text,
  "frequency" text,
  "power_kw" text,
  "location" text
);
SELECT "branding" FROM "febc_stations_in_the_philippines" WHERE "frequency"='1233khz';