var letters;
		function find(assist){
                  if (window.event && window.event.keyCode == 13){
			var song_name = document.getElementById('song');
			var s = "/songs/find/1/"+song_name.value;
			window.location  = s;
			return false;
                   }
		}
              function clear_search(){

			var song_name = document.getElementById('song');
			if(song_name.value=="search ...") song_name.value="";
			return true;
              }
		function showLetters(){
			var song_name = document.getElementById('nav_menu');
			nav_menu.innerHTML = letters;

		}