CREATE TABLE table_19523142_5 (group_12 VARCHAR(255), group_9 VARCHAR(255))
Who played in group 12 when Group 9 played psid jombang?
    
SQL: SELECT group_12 FROM table_19523142_5 WHERE group_9 = "PSID Jombang"