var height=0; var width=0;
if (self.screen) {
	width = screen.width
	height = screen.height
}
else if (self.java) {
	var jkit = java.awt.Toolkit.getDefaultToolkit();
	var scrsize = jkit.getScreenSize();
	width = scrsize.width;
	height = scrsize.height;
}

if (width <= 1024)
{
    document.writeln('<style type="text/css" media="all">');
    document.writeln('@import url(/css/1024.css);');
    document.writeln('</style>');
}
else
{
    document.writeln('<style type="text/css" media="all">');
    document.writeln('@import url(/css/1280.css);');
    document.writeln('</style>');
}

var theImages = new Array()

theImages[0] = 'stat1.png'
theImages[1] = 'stat2.png'
theImages[2] = 'stat3.png'

var j = 0
var p = theImages.length;

var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}

var whichImage = Math.round(Math.random()*(p-1));

function showStat(path){
document.write('<img src="'+path+theImages[whichImage]+'">');
}