// JavaScript Document
function pause(milliseconds) {
	var dt = new Date();
	while ((new Date()) - dt <= milliseconds) { /* Do nothing */ }
}
<!--
function selectpoint(nummer) {	

var n=parseInt(nummer);
//alert("selectpoint kører"+n);
//pause(200);
$('#lava li').removeClass('selected');
switch(n){
case 1:
  $('#punkt1').addClass( 'selected' );
  break; 
case 2:
  $('#punkt2').addClass( 'selected' );
  break;
case 3:
  $('#punkt3').addClass( 'selected' );
  break;
case 4:
   $('#punkt4').addClass( 'selected' );
  break;
case 5:
   $('#punkt5').addClass( 'selected' );
  break;
default:
  $('#punkt1').addClass( 'selected' );

}
$('#lava').mouseleave();
}
-->