function URLencode(sStr) {
    return escape(sStr)
       .replace(/\+/g, '%2B')
          .replace(/\"/g,'%22')
             .replace(/\'/g, '%27');
  }
  



function getXMLDocument(txt) {
	var xmlDoc;
	try { //Internet Explorer
  		xmlDoc=new ActiveXObject("Microsoft.XMLDOM");
  		xmlDoc.async="false";
  		xmlDoc.loadXML(txt);
  	} catch(e) {
  		try { //Firefox, Mozilla, Opera, etc.
        	parser=new DOMParser();
    		xmlDoc=parser.parseFromString(txt,"text/xml");
    	} catch(e) {
    		alert(e.message);
    	}  
    }
    return xmlDoc;
}

function isIE() {
	var agt=navigator.userAgent.toLowerCase();
	return ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
}

function isdefined( variable)
{
    return (typeof(window[variable]) == "undefined")?  false: true;
}

function getDayOfWeek(dow) {
	if(dow == 0) return "Sunday";
	if(dow == 1) return "Monday";
	if(dow == 2) return "Tuesday";
	if(dow == 3) return "Wednessday";
	if(dow == 4) return "Thursday";
	if(dow == 5) return "Friday";
	if(dow == 6) return "Saturday";
}
function getMonthName(month) {
	if(month == 0) return "January";
	if(month == 1) return "Febuary";
	if(month == 2) return "March";
	if(month == 3) return "April";
	if(month == 4) return "May";
	if(month == 5) return "June";
	if(month == 6) return "July";
	if(month == 7) return "August";
	if(month == 8) return "September";
	if(month == 9) return "October";
	if(month == 10) return "November";
	if(month == 11) return "December";
}

function TimeProfiler()  {
	this.d = new Date();
	this.time = this.d.getTime();
}

function getYYYYMMDDTimeFomattedDate(dateObject) {
	var month = "" + (dateObject.getMonth()+1);
	var day = "" + dateObject.getDate();
	if(month.length < 2) month = "0" + month;
	if(day.length < 2) day = "0" + day;
	return dateObject.getFullYear() + "-" + month + "-" + day + " 00:00:00";			
}

TimeProfiler.prototype.start = function (){
     this.d = new Date();
     this.time  = this.d.getTime();
}

TimeProfiler.prototype.getExecTime = function (){
        var d2 = new Date();
        return (d2.getTime()-this.time);
}
    
function GX_refreshAd(keywords) {
	var currentTime = new Date();
	var url2 = "ads.jsp?s=" + currentTime.getTime() + "&keywords=" + URLencode(keywords.substring(0,150));
	var url = getServer() + "/" + url2;
    document.getElementById('googlead').src = url2;
}