var imageArray_thermonex_ef = new Array();
imageArray_thermonex_ef[0] = "thermonex-ef-2";
imageArray_thermonex_ef[1] = "thermonex-ef-3";
imageArray_thermonex_ef[2] = "thermonex-ef-4";