setstroke(document.querySelector('input[name="penwidth"]:checked').value);
setcol(document.querySelector('input[name="color"]:checked').value);
setstroke(document.querySelector('input[name="penwidth"]:checked').value);
setcol(document.querySelector('input[name="color"]:checked').value);