// JavaScript Document

function changeProblem()
{
	var theProblem=document.getElementById("problems_select");
	window.location.href=theProblem.value;
}