void datafile_read(); void datafile_search(); void init_music(); void play_music(); void stop_music();