// JavaScript Document

//Set a random CSS file
function chooseStyle() {
  var css = new Array('TEPCstyle','TDAKstyle','TDHSstyle','TMKstyle');
  var i = Math.floor(Math.random()*css.length);
  var style = css[i]+".css";
  return style;
}

document.write('<link rel="stylesheet" type="text/css" href="images/'+chooseStyle()+'" media="screen" />');

//Correct IE CSS background image flicker
try {
  document.execCommand("BackgroundImageCache", false, true);
} catch(err) {}