#include <stdio.h>
#include "colors.h"

void modifyUID(FILE *file);