
var packetLinksTimer=0;
// ms is a delay used in conjunction with vis=false - when cursor leaves link, div won't close before cursor mouses over div
function packetLinks(id,vis,ms){
	if(ms!=null&&ms>0&&vis!=null&&vis!=true){
		packetLinksTimer=setTimeout('packetLinks("'+id+'",'+vis+')',ms);
	}else{
		var div=$get(id);
		if(vis==null)vis=(div.style.display=='none');
		if(vis)clearTimeout(packetLinksTimer);
		div.style.display=(vis)?'':'none';
	}
}
