var isbold = false;
function setbold() {
	if(isbold) document.all.txframe.style.fontWeight="200";
	else document.all.txframe.style.fontWeight="bold";
	isbold = !isbold;
};