mbers()">&larr; Apply</button>
        <input type="checkbox" id="do_colors" onclick="draw_canvas();"/><label for="do_colors">do colors</label>    
        <button type="button" style="width: 108pt;" onclick="reset_all()">Reset pixels</button>
    </div>
    <script language="JavaScript">
    init_canvas();
    reset_magic_numbers();
    </script>
    
    <table class="footer" style="width: 555pt; padding: 64pt 0pt 32pt 0pt; background-color: transparent; font-family: sans-serif; font-size: 16pt; font-styl