Model number and manufacturer name of heat sink and CPU fan

Hello,

Could you please tell me the model number and manufacturer name of the heat sink and CPU fan installed in the Starter Kit?