3 <script src="../../lib/OpenLayers.js"></script>
6 function stringformat() {
7 var string = OpenLayers.String.format("${abc} 123 ${def}", {'abc': 456, 'def': 789})
10 var date = new Date();
11 for (var i = 0; i < x; i++) {
14 var elapsed = (new Date() - date);
21 document.getElementById("out").innerHTML = t + "ms for " + x + " runs";
26 <a onclick="javascript:show_time(100000); return false" href="#">Run</a>