<!--

/**
* Object for holding coords for use by json
*/
function CoordsHolder(mapJpgName, luogo, xCoord, yCoord){
	this.mapJpgName = mapJpgName;
	this.luogo = luogo;
	this.xCoord = xCoord;
	this.yCoord = yCoord;
}

/**
* These offsets allow for the positioning of the tip of the pointer inside 
* the arrow .gif image
*/
var arrowLeftAllow = 4;
var arrowTopAllow = 15;


/**
* To find the tip of the arrow so that it points to right place we need
* to offset, from the left, half of the width of the arrow image
*/
function calculateArrowLeftAllow(arrowImg){
	return parseInt(arrowImg.width / 2);
}
/**
* To find the tip of the arrow so that it points to right place we need
* to offset,from the top, the height of the arrow image
*/
function calculateArrowTopAllow(arrowImg){
	return arrowImg.height;
}

//end hide -->