var IE = (document.all);
var NS = (document.layers);
loader = (false) ? (NS) ? parent : parent.document.body : window;
loader.onload = focus;

function txt(m){
var strTable="01234567890-.,+";
var strRet = "";
var cTmp, nTmp;
for (var i=0 ; i < m.value.length; i++)
{	cTmp = m.value.charAt(i);
nTmp = strTable.indexOf(cTmp);
if (nTmp >= 0) strRet += cTmp;		
}
if (m.value != strRet){m.value = strRet;}
}