"scale").value = Number(document.getElementById("scale").value * 2);
	draw_canvas();
}

function reset_scale() {
	document.getElementById("scale").value = 4;
	draw_canvas();
}

	</script>
</head>
<body>
	<center>


	<table style="width: 505pt;" class="footer">
	<tr>
	<td class="footer" style="text-align: left;"><a href="atan12.html">&larr; </a></td>
	<td class="footer" style="text-align: center"><a href="index.html">- Contents -</a></td>
	<td class="footer" style="text-align: right"><a href="atan21.html">&r