function doFloat() {
	var x = document.getElementById("col1").style.cssFloat = "left";
	var y = document.getElementById("col2").style.cssFloat = "left";
	var z = document.getElementById("col3").style.cssFloat = "left";
}

function undo() {
	var a = document.getElementById("col1").style.cssFloat = "none";
	var b = document.getElementById("col2").style.cssFloat = "none";
	var c = document.getElementById("col3").style.cssFloat = "none";
}
