function ausblenden () {
	get_flash_movie( 'flashmusic' ).sound_off();
}
	
function get_flash_movie( name ) {
	var ref = get_reference();
	return ref[name];
}

function get_reference() {
	return document;
}