function changesize(sizepx)
{
	document.getElementById("divcontent").style.fontSize=sizepx+"px";
}
function wzss()
{
	window.location.href="board/wz_cx.aspx?nr="+escape(document.getElementById("txtcx").value);
}