function awakeTags() {
	var h=document.getElementById('tagsleft').scrollHeight;
	if (h>document.getElementById('tagsright').scrollHeight) document.getElementById('tagsright').style.height=h.toString()+"px"; 
}

if (undefined===window.awakeProcs) {
	window.awakeProcs=[];
}

window.awakeProcs[window.awakeProcs.length]=awakeTags;