CREATE TABLE table_21716139_1 (frequency VARCHAR, train_no VARCHAR)

What is the frequency of trains numbered 12671/12672?
SELECT frequency FROM table_21716139_1 WHERE train_no = "12671/12672"
SELECT "frequency" FROM "table_21716139_1" WHERE "12671/12672" = "train_no"