var tips_pages = document.getElementById('tips_pages');
if (UTILS.Defined(tips_pages))
{
	BUTTONHIGHLITER.SetHandlers(tips_pages, 'SPAN');	
}