// JavaScript Document

function selectwhat()
	{
		document.forms[0].what.focus();
	}
	
function redir(url)
{
	document.location=url;
}