// preload tab images

var tabimgs= ['tab_hi', 'tab_lo', 'tab_bar'];
var pli= new Array();
for (var i=0; i<tabimgs.length; i++) {
	var n=pli[i];
	pli[n]=new Image();
	pli[n].src='images/'+n+'.gif';
}