// JavaScript Document
function bind(o, f){ return function(){ return f.apply(o, arguments); }}

function DateSort(a, b) {
	return a - b;
}

function rndName(lange) {
	var rndString = new String();
	zeichen = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
	for (i=1; i<=lange; ++i) {
		zahl = Math.random();
		position = Math.round(zeichen.length * zahl);
		einzeichen = zeichen.slice(position, position+1);
		rndString += einzeichen;
	}
	return rndString;
}

Array.prototype.ismember = function(element, teil)
{	for (var i=0, len=this.length; i<len; ++i)
	{	if (this[i] == element)
		{ return true; }
	}
	return false;
}

Array.prototype.remove = function(element)
{	for (var i=0, len=this.length; i<len; ++i)
	{	if (this[i] == element)
		{ this.splice(i,1); return true; }
	}
	return false;
}

Array.prototype.datemember = function(element)
{	for (var i=0, len=this.length; i<len; ++i)
	{	if (this[i].getFullYear() == element.getFullYear() && this[i].getMonth() == element.getMonth() && this[i].getDate() == element.getDate())
		{ return true; }
	}
	return false;
}

Array.prototype.dateremove = function(element)
{	for (var i=0, len=this.length; i<len; ++i)
	{	if (this[i].getFullYear() == element.getFullYear() && this[i].getMonth() == element.getMonth() && this[i].getDate() == element.getDate())
		{ this.splice(i,1); return true; }
	}
	return false;
}

Array.prototype.getIndex = function(element)
{	for (var i=0, len=this.length; i<len; ++i)
	{	if (this[i] == element)
		{ return i; }
	}
	return -1;
}

Array.prototype.removeDouble = function(arrays)
{	for (i=0; i<this.length; ++i)
	{	for (j=0; j<this.length; ++j)
		{	if (i == j) { continue; }
			if (this[i] == this[j])
			{ this.splice(j,1);
			  for (k=0; k<arrays.length; ++k)
			  {	arrays[k].splice(j,1);  }
			}
		}
	}
}

Array.prototype.copy = function () {
     return ((new Array()).concat(this));
   };

String.prototype.lastNumber = function(trennung)
{	zahl = this.slice( this.lastIndexOf(trennung)+1 , this.length);
	return zahl;
}

function makeDate(e)
{	month = e.getMonth();
	day = e.getDate();
	year = e.getFullYear();
	date = new Date(year,month,day);
	return date;
}