function txtlarge()	{		document.getElementById("left").className='bigtxt';	}
function txtsmall()
	{		document.getElementById("left").className='smalltxt';	}