let print_id n = "%"^(string_of_int n)