document.getElementById("main").addEventListener("submit", (ev)=>{
    ev.preventDefault();
});
const stretchFactor = 0.8;