function translate(String)
{
	uebersetzer.location.href='bin/uebersetzer.php?what=' + String;
}