var preValue;
function campo_foco(obj)
{
    obj.select();
    preValue = obj.value;
}

function campo_check(obj)
{
    if(!StrIsInt(obj.value)) obj.value = preValue;
}