// JavaScript Document
var DELIMITER = "*";
var whitespace = " \t\n\r";

function charInString(c, s)
{
    for (var i = 0; i < s.length; i++)
    {   
        if (s.charAt(i) == c) return true;
    }
    
    return false
}

function trim(s)
{   
    var i = 0;
    var len = s.length;

    while ((i < len) && charInString (s.charAt(i), whitespace))
       i++;

    if (i == len)
    {
        return s.substring(i, len);
    }
    else
    {
        var j = len - 1;
        while ((j > 0) && charInString (s.charAt(j), whitespace))
            j--;

        return s.substring (i, j + 1);
    }
}