ECCN for OS

[Archuleta, John A]

We have a Silicon Mechanics Server with Debian OS that we are shipping to 
Brazil for a climate experiment. Do you have an Export Control Classification 
Number (ECCN) for your OS so we can get export documents issued by our company. 
Thanks-John