como le meto el archivo irk con que programa con el mismo?