@ranges = ();
push @ranges, "[172,178]";
push @ranges, "[183,189]";
push @ranges, "[201,208]";