void int_to_hexstring(int numero, char *cadena){
	sprintf(cadena, 11, "%8d", numero);
	printf("%s", cadena);
}

void main(){
	unsigned char a[11];
	init_UART2();
	int_to_hexstring(1214, a);
}