// whichrfc.js
function whichRFC()
	{
	var rfc = prompt("Enter desired RFC (number only); I will get it for you from Ohio State U.: (esc or Enter to cancel)", "");
	if (isNaN(parseInt(rfc,10))) { 
	
		} else { 
			window.location = "http://www.cis.ohio-state.edu/htbin/rfc/rfc" + rfc + ".html"; 
		}
	}