push (@random_record, $element) if (index($element,$header) != -1);