- var zoomlevel=map.getZoom();
- if (zoomlevel<7 ) { var imgname='keymapnik6.png'; }
- else if (zoomlevel<12) { var imgname='keymapnik'+zoomlevel+'.png'; }
- else { var imgname='keymapnik12.png'; }
+ var zoomlevel = map.getZoom();
+
+ if (zoomlevel<7 ) { var imgname = 'keymapnik6.png'; }
+ else if (zoomlevel<13) { var imgname = 'keymapnik'+zoomlevel+'.png'; }
+ else { var imgname = 'keymapnik13.png'; }
+