function post(name) {
var f1
=document.getElementById("fs").name;
var doma = "svkoeln";
var f2 = f1.substr(0,7) +  name +
f1.substr(11,1) + doma + f1.
substr(16,1) + f1.substr(17,2); location.href = f2;   }