window.timesLoaded3 = window.timesLoaded3 || 0;
log('file3: loaded (' + timesLoaded3 + ')');
timesLoaded3 += 1;