// User configuration file for gethtmldat.js
HTTP_HEADERS = {
"User-Agent" : "[Monazilla/1.00 JaneStyle/4.10 Windows/10.0.19042]"
};

これでいいの?