function isEnglish(theValue)
{
    var theMask='0123456789_- abcdefghijklmnopqrstuvwxyz/.,&ABCDEFGHIJKLMNOPQRSTUVWXYZ';
    if(isEmpty(theValue))
    return(false);
    else if(theMask.indexOf(theValue)==-1)
    return(false);
    return(true);
}