function resize(){
	document.getElementById("table1").setAttribute("width",varWidth());
}