/* AJAX general function */

/* Global variables */
// var isWorking = false;
var pageNumber = 0;
var pageBreak = 4;
var xmlDocument = null;
var xmlDetailDocument = null;
var annotations = {};
var generalClickCounter=0;
var noFlash=null;
var validUserRequest={};
var linkBandField="";



/* Get xmlhttp object */
function getHTTPObject() {
	var xmlhttp=null;
	
	try {
		xmlhttp=new XMLHttpRequest();
	}
	catch(trymicrosoft) {
		try {
			xmlhttp=new ActiveXObject("Msxml2.XMLHTTP");
		}
		catch(othermicrosoft) {
			try {
				xmlhttp=new ActivexObject("Microsoft.XMLHTTP");				
			}
			catch(failed) {
				xmlhttp=null;
			}
		}
	}
	
	return xmlhttp;
}

/* Get browser name */
function getBrowser() {
	var browserName=navigator.appName; 
	return browserName;		
}

/* Show border around list images */
function borderMe(image) {
var listContent=document.getElementById("listContent");
	var numberOfElements=document.images.length;
	
	for(i=0;i<numberOfElements;i++) {
		var img=document.images[i];
		if (img.className == "imgBoxWithBorder") {
			img.className="imgBoxNoBorder";
		}
	}
	
	image.className="imgBoxWithBorder";
}

/* Show/Hide save box */
function showSaveBox(flag) {
	var saveBox=document.getElementById("saveBox");
	if(flag) {
		saveBox.className="saveBox";
	}
	else {
		saveBox.className="saveBoxNotVisible";
	}
}


/* Get xmlhttp object */
var xmlhttp=getHTTPObject();
if (xmlhttp == null) {
	alert("Warning !!! Ajax is not supported by your browser, maybe javascript has been disabled");
}