if(document.images) {
	n0=new Image();n0.src="/img/thome.gif";h0=new Image();h0.src="/img/thihome.gif";
	n1=new Image();n1.src="/img/tlinux.gif";h1=new Image();h1.src="/img/thilinux.gif";
	n2=new Image();n2.src="/img/tlearn.gif";h2=new Image();h2.src="/img/thilearn.gif";
}
function s(n,o){if(document.images) document.images[n].src=o.src;}