function titelize(what){
document.getElementById("varhead").innerHTML = what;
}