<script language="javascript">
function draw_thumb() {
var canvas = document.getElementById("canvas");
var thumb = document.getElementById("thumb");
var ctx = thumb.getContext("2d");
ctx.drawImage(canvas, 0, 0, 100, 100);
}
function on_mousemove(e) {
if (!drawing)
return;
var pos = transform_event_coord(e);
var canvas = document.getElementById("canvas");
var ctx = canvas.getContext("2d");