var dom = document.getElementById?1:0;
var ie = document.all?1:0;
var ns_4 = document.layers?1:0;

function showInfo(arg)
 {
 if(ie) {tips.innerHTML = info[arg];}
 else if(dom) {obj=document.getElementById('tips');obj.innerHTML = info[arg];}
 else if(ns_4) {obj= document['cont'].document['tips'].document;obj.open();obj.write(info[arg]);obj.close();}
 }