// JScript File

var gXMLHttp = null;

// whitespace characters
var whitespace = " \t\n\r";