function generate_search_rss_url()
	{
	       var $search = document.getElementById("rss_search").value;
	       
	       var $url = "http://rknels.people.wm.edu/code/feedstuff/muse_search.php?s="+$search.replace(/ /g, "+");
	       
		document.getElementById("feed_url").innerHTML = "<h4>2. Paste the following url into your reader/aggregator of choice (e.g <a href='http://netvibes.com'>Netvibes</a>, <a href='http://www.google.com/ig'>iGoogle</a>)</h4>\n<div class='code'><a href='"+$url+"'>"+$url+"</a></div>";

                // add the rss feed to the head
                // get the feed if it already exists and replace the href attribute
                /* $rss_link = document.getElementById("journals_rss");
                
                if ($rss_link)
                {
                        $rss_link.setAttribute("href", $url);
                }
                // if it doesn't exist, add it
                else
                {
                        var $headID = document.getElementsByTagName("head")[0];         
                        var $rss_link = document.createElement('link');
                        $rss_link.href = $url;
                        $rss_link.type = 'application/rss+xml';
                        $rss_link.id = 'journals_rss';
                        $rss_link.title = "RSS";
                        $rss_link.rel = "alternate";
                        $headID.appendChild($rss_link);               
                }	   */     
	       
        }
        
        function generate_rss_url()
	{
		var $journal_pulldown = document.getElementById("journal_pulldown");
		var $journal_id = $journal_pulldown.options[$journal_pulldown.selectedIndex].value;

		if (document.getElementById("rss_article").checked)
		{
			var $get = "article";
		}
		else if (document.getElementById("rss_review").checked)
		{
			var $get = "review";
		}
		else if (document.getElementById("rss_both").checked)
		{
			var $get = "both";
		}
		
		var $url = "http://rknels.people.wm.edu/code/feedstuff/journals.php?journal="+$journal_id+"&amp;get="+$get;
		
		if (!document.getElementById("proxy").checked)
		{
		      $url += "&amp;noproxy=true";
                }
		
		document.getElementById("feed_url").innerHTML = "<h4>3. Paste the following url into your reader/aggregator of choice (e.g <a href='http://netvibes.com'>Netvibes</a>, <a href='http://www.google.com/ig'>iGoogle</a>)</h4>\n<div class='code'><a href='"+$url+"'>"+$url+"</a></div>";

                // add the rss feed to the head
                // get the feed if it already exists and replace the href attribute
                /* $rss_link = document.getElementById("journals_rss");
                
                if ($rss_link)
                {
                        $rss_link.setAttribute("href", $url);
                }
                // if it doesn't exist, add it
                else
                {
                        $head = document.getElementsByTagName("head");
                        $head = $head[0];
                        $head.innerHTML += "<link rel='alternate' type='application/rss+xml' title='rss feed' href='"+$url+"' id='journals_rss' />";                
                } */
                 
                


	}