Experiments with JavaScript in the U-Substitution topic