function focusTab(tab) {
	document.getElementById('tab_' + tab).style.paddingTop = '1px';
	document.getElementById('tab_' + tab).style.top = '-1px';
}
function unfocusTab(tab) {
	document.getElementById('tab_' + tab).style.paddingTop = '0px';
	document.getElementById('tab_' + tab).style.top = '0px';
}