- else if (zoomlevel<12) { var imgname = 'keymapnik'+zoomlevel+'.png'; }
- else { var imgname = 'keymapnik12.png'; }
+ else if (zoomlevel<13) { var imgname = 'keymapnik'+zoomlevel+'.png'; }
+ else if (zoomlevel<15) { var imgname = 'keymapnik13.png'; }
+ else { var imgname = 'keymapnik15.png'; }