function tabColor(td){
if(document.getElementById){
document.getElementById('red').style.backgroundColor='#500000';
document.getElementById('blue').style.backgroundColor='#000040';
}
}

function redTab(){
	document.getElementById('red').style.backgroundColor='#700000';
	document.getElementById('red').style.cursor='pointer';}

function blueTab(){document.getElementById('blue').style.backgroundColor='#000060';
	document.getElementById('blue').style.cursor='pointer';}