//Author: Matt Kruse
//Modified: Dario Bellisario
// whitespace characters
var whitespace = " \t\n\r";
//=================================================================================================
function isEmpty(s) {
	return ((s == null) || (s.length == 0))
}
//=================================================================================================
function isWhitespace (s) {
    var i;
    if (isEmpty(s)) return true;
    for (i = 0; i < s.length; i++)
    {   
        var c = s.charAt(i);
        if (whitespace.indexOf(c) == -1) return false;
    }
    return true;
}
function isemail (s) {
    if (isEmpty(s)) return false;
    else return (s.indexOf("@") >= 0) && (s.indexOf(".") >= 0);
}
function iscodsost (s) {	
    if (isEmpty(s)) return false;
    else{
			var len=s.length			
			if (len!=8) return false;
			else {
				var n1=s.substring (0, len-1);
				var n2=s.substring (len-1, len);	
				n2=n2.toUpperCase();
				return isInteger(n1) && (n2 >= "A") && (n2 <= "Z");
			}
		}
}
//=================================================================================================
function isDigit (c) {
	return ((c >= "0") && (c <= "9"));
}
//=================================================================================================
function findCharsInBag (s, bag) {
	var i;
    for (i = 0; i < s.length; i++) {   
        // Check that current character isn't whitespace.
        var c = s.charAt(i);
        if (bag.indexOf(c) != -1) return true;
    }
    return false;
}
//=================================================================================================
function stripInitialWhitespace (s){
	var i = 0;
    while ((i < s.length) && findCharsInBag (s.charAt(i), whitespace))
       i++;

	return s.substring (i, s.length);
}
//=================================================================================================
function stripTailWhitespace(s){
	var i = s.length-1;
   
    while ((i > 0) && findCharsInBag (s.charAt(i), whitespace))
       i--;
   
	return s.substring (0, i + 1);
}
//=================================================================================================
function trimWhitespace (s)

{   var returnNewString = "";
	
	returnNewString = stripInitialWhitespace(s);
	returnNewString = stripTailWhitespace(returnNewString);
      
	return returnNewString;
}
//=================================================================================================
function isInteger (s) {
	var i, result;
	s = trimWhitespace(s);
	for (i = 0; i < s.length; i++) {  
		var c = s.charAt(i);
	    if (!isDigit(c)) return false;
	} // end for

	return (s.length > 0)  ;
}
//=================================================================================================