2 <form action="/search.html">
3 <input type="text" name="query" value="" size="60">
4 <input type="submit" value="Search">
8 <div id="map" style="WIDTH: 700px; HEIGHT: 500px;"></div>
10 <% lon = params['lon'] || '-0.1' %>
11 <% lat = params['lat'] || '51.5' %>
12 <% zoom = params['zoom'] || '5' %>
14 <script type="text/javascript">
17 var zoom = <%= zoom %>;
18 var PI = 3.14159265358979323846;
20 <% if params['scale'] and params['scale'].length > 0 then %>
21 zoom = Math.log(360.0/(( <% print params['scale'].to_f() %> ) * 512.0)) / Math.log(2.0);
24 lon = lon * 20037508.34 / 180;
25 lat = Math.log(Math.tan( (90 + lat) * PI / 360)) / (PI / 180);
26 lat = lat * 20037508.34 / 180;
29 <script type="text/javascript" src="/javascripts/OpenLayers.js"></script>
31 <script type="text/javascript">
38 OpenLayers.Util.onImageLoadError = function() {
39 this.src = "http://<%= SERVER_URL %>/javascript/img/404.png";
41 map = new OpenLayers.Map( "map",
42 {maxExtent: new OpenLayers.Bounds(-20037508.34,-20037508.34,20037508.34,20037508.34), maxZoomLevel:18, maxResolution:156543, units:'meters', projection: "EPSG:41001"} );
43 layer = new OpenLayers.Layer.LikeGoogle( "Mapnik", "http://tile.openstreetmap.org/", {type:'png'} );
45 layer = new OpenLayers.Layer.LikeGoogle( "Osmarender", "http://dev.openstreetmap.org/~ojw/Tiles/tile.php/", {type:'png'} );
48 map.addControl(new OpenLayers.Control.LayerSwitcher());
49 map.setCenter(new OpenLayers.LonLat(lon, lat), zoom);
51 map.events.register("moveend", map, function() {
52 var lonlat = map.getCenter();
54 var lon_deg = (lonlat.lon / 20037508.34) * 180;
55 var lat_deg = (lonlat.lat / 20037508.34) * 180;
56 var PI = 3.14159265358979323846;
57 lat_deg = 180/PI * (2 * Math.atan(Math.exp(lat_deg * PI / 180)) - PI / 2);
58 var zoom = map.getZoom();
59 updatelinks(lon_deg,lat_deg,zoom);
72 <br>We're trialing the adverts below to support the project. Login and they go away.
73 <script type="text/javascript"><!--
74 google_ad_client = "pub-7727744269903103";
75 google_ad_width = 728;
76 google_ad_height = 90;
77 google_ad_format = "728x90_as";
78 google_ad_type = "text";
79 google_ad_channel ="";
80 google_color_border = "CCCCCC";
81 google_color_bg = "FFFFFF";
82 google_color_link = "000000";
83 google_color_url = "000080";
84 google_color_text = "000000";
85 //--></script><script type="text/javascript"
86 src="http://pagead2.googlesyndication.com/pagead/show_ads.js">