// JavaScript Document
function a9()

{   document.getElementById("a9").style.display='block';
	 document.getElementById("b9").style.display='none';

	}

function b9()
{   document.getElementById("b9").style.display='block';
	 document.getElementById("a9").style.display='none';

	}