function ParseInput(t,v)
{
	var w="";
	for(i=0;i<t.value.length;++i)
	{
		x=t.value.charAt(i);
		if(v.indexOf(x,0) != -1)
			w += x;
	}
	t.value=w;
}