// Convert a pair of GPS coordinates in degrees into a pixel location on this page's big map.
	function spotlight(N,W) {
		spot = document.getElementById(1234);
	
		// If N or W is less than -50, caller simply wants us to hide the arrow.
		if ((N < -50) | (W < -50)) {
				spot.style.cssText = 'position: relative; left:-100px; top:-100px; visibility:hidden'; }
				
			// Else N and W are real coordinates we need to convert to pixels.
			else {
				// These locs are for 'state215x851.jpg'.
				NLimPixY = 22;
				SLimPixY = 840;
				NLimDegN = 46.25042;
				SLimDegN = 41.99855;
				PixPerDegNS = (SLimPixY - NLimPixY) / (NLimDegN - SLimDegN);
				
				y_origin = -17;
				y = y_origin + SLimPixY - (N - SLimDegN) * PixPerDegNS;
				
				NLimPixX = 110;				
				SLimPixX = 89;
				NLimDegW = 124.05141;
				SLimDegW = 124.21135;
				PixPerDegEW = (NLimPixX - SLimPixX) / (SLimDegW - NLimDegW);
				
				x_origin = -44;
				x = x_origin + SLimPixX + (SLimDegW - W) * PixPerDegEW;
		
				spot.style.cssText = 'position: relative; left:' + x + 'px; top:' + y + 'px;'; }
				
		return true; }//spotlight()