function pruefen(eingabe,ausgabe)
{
var x,z;
	x=document.getElementById(eingabe).value;
	z=0;
	while (z!=-1)
	{z=x.search("/"); 
	var x = x.replace("/", ":_:");}
	if (x!="")
	document.getElementById(ausgabe).value = x;
}