function selection() {
var buttons=document.getElementById('taskbar').getElementsByTagName('a');
var url=window.location.href;
if ( url.match('_task=mail') == '_task=mail' )
{
	//buttons[0].style.color = '#E94250';
	buttons[0].style.fontWeight ='bold';
}
else if ( url.match('_task=addressbook') == '_task=addressbook' )
{
	//buttons[2].style.color = '#E94250';
	buttons[2].style.fontWeight ='bold';

}
else if ( url.match('_task=settings') == '_task=settings' )
{
	//buttons[3].style.color = '#E94250';
	buttons[3].style.fontWeight ='bold';

}
}