// JavaScript Document
function swaptextboxsize()
{
	if(document.forma1.msj.rows==5)
	{
		document.forma1.msj.rows=15;
		//document.forma1.swap.value="Reduce box";
		document.forma1.swap.style.display='none';
	}
	else
	{
		document.forma1.msj.rows=5;
		document.forma1.swap.value="Enlarge box";
	}		
}