function objRef(id) {return document.getElementById(id)}
function styleRef(id) {return this.objRef(id).style}

function hl(id){
	b=id.src;
	s=(b.substring(b.length-4,b.length-5)==0)?'1':'0';
	id.src=(b.substring(b.length-5,0)+s+'.gif');
}

function sh(id,s) {styleRef(id).display=(s==0)?'none':'block'}