var WBT_Update = '(v2.6.0.8 - 10/03/2011)';
function updateTitle(additional)
{
	var defaultTitle = document.title;
	document.title = defaultTitle +' ' + additional;
}
//updateTitle(WBT_Update);
