// JavaScript Document

var label_news_a="verkleinern";
var label_news_b="vergrößern";