function html_button() {
button_result('/html/' + get_seed() + '/?url=' + get_url());
}
function json_button() {
button_result('/json/' + get_seed() + '/?url=' + get_url());
}
function rss_button() {
button_result('/rss/?url=' + get_url());
}
function button_result(url) {
let href = document.getElementById("href1")
href.href = url;
href.innerHTML = url;
// window.open(url);
}
function get_url() {
return document.getElementById('input1').value
}
function get_seed() {
return document.getElementById('input2').value
}