rnd.today=new Date();
	rnd.seed=rnd.today.getTime();
	
	function rnd() {
	        rnd.seed = (rnd.seed*9301+49297) % 233280;
	        return rnd.seed/(233280.0);
	};
	
	function rand(number) {
	        return Math.ceil(rnd()*number);
	};
	
	var number = rand(16);
	
	function zitat() {
  	if (number == 1) return('Wir setzen uns für den<br />Erfolg unserer Kunden ein<br /><em>Xaver St&ouml;eckli, CEO</em>');
    if (number == 2) return('Ein zufriedener Kunde<br />ist unsere beste Reklame<br /><em>Walter Schmid, Verkauf und Marketing</em>');
    if (number == 3) return('Weiterentwicklung mit Begeisterung,<br />das ist meine persönliche Erfolgsrezeptur<br /><em>Martin Gmünder, Entwicklung und Kundendienst</em>');
	if (number == 4) return('Ein guter Kundendienst ist<br />die Visitenkarte des Unternehmens<br /><em>Ernst Suter, Produktion und Kundendienst</em>');
	}