anchor.diff:  	}
   
   	init() async {
  -		print('in init');
   		try {
   			num effectsVolume = 50, musicVolume = 50;
   			if(localStorage.containsKey('effectsVolume')) effectsVolume = num.parse(localStorage['effectsVolume']);
  
positive.code: 				await loadNonWebAudio();
  			}
  		} else {
  			print('cant use web audio');
  			await loadNonWebAudio();
  		}
  	}
  
  	Future loadNonWebAudio() async {
  		print('loading non-web audio');
  		new Message(#toast, 'Loading non-WebAudio');
  		// Load all our user interface sounds.
  
  
negative.code: 		}
  
  		if(useWebAudio) {
  			//if canPlayType returns the empty string, that format is not compatible
  			if(new AudioElement().canPlayType('audio/ogg') == "") {
  				print("ogg not supported, using mp3s instead");
  