function sb1() {
    document.form1.formula.value = document.form1.formula.value + '\nUser-agent : ' + document.form1.robots.value;
}
function sb2() {
    document.form1.formula.value = document.form1.formula.value + '\nDisallow : ' + document.form1.disal.value;
}
function sb3() {
    document.form1.formula.value = document.form1.formula.value + '\n# ';
}
function sb4() {
    document.form1.formula.value = document.form1.formula.value + '\n';
}
function sitemap() {
    document.form1.formula.value = document.form1.formula.value + '\nSitemap: ';
}
function clear_form() {
    document.form1.formula.value = '';
}