function $(id) 
{
  return document.getElementById(id);
}

// entfernt Leerzeichen von links
String.prototype.leftTrim = function () 
{
	return (this.replace(/^\s+/,""));
};

// entfernt Leerzeichen von rechts
String.prototype.rightTrim = function () 
{
	return (this.replace(/\s+$/,""));
};

// entfernt Leerzeichen von links und rechts
String.prototype.trim = function () 
{
	return (this.replace(/\s+$/,"").replace(/^\s+/,""));
};

// dämpft Leerzeichen(-sequenzen) innerhalb einer Zeichenkette auf ein einzelnes "space" ein
String.prototype.superTrim = function () 
{
	return(this.replace(/\s+/g," ").replace(/\s+$/,"").replace(/^\s+/,""));
};

// entfernt alle Leerzeichen
String.prototype.removeTrim = function () 
{
	return (this.replace(/\s+/g,""));
};