function alterTitelText(titelTextID, textareaID)
{
var titelTextID = document.getElementById(titelTextID);
var textareaID = document.getElementById(textareaID);
textareaID = trim(textareaID);
if(textareaID.value == '')
{
titelTextID.innerHTML = 'nix';
}
else
{
if(textareaID.value.length > 10)
{
titelTextID.innerHTML = textareaID.value.substr(0, 10)+'...';
}
else
{
titelTextID.innerHTML = textareaID.value;
}
}
}
function trim(s)
{
while(s.substring(0, 1) == ' ')
{
s = s.substring(1, s.length);
}
while(s.substring(s.length-1, s.length) == ' ')
{
s = s.substring(0, s.length-1);
}
return s;
}