<script>
  function setfv() {
    f=document.getElementById('fv').value;
  }
    a = 2.5;
    xmode = 0;
    thestroke = "blue";