function obfuscate(string,site) {
	user = string;
	if (!site) {
		site = 'sjsu.edu';
	}
	document.write('<a href=\"mailto:' + user + '@' + site + '\">');
	document.write(user + '@' + site + '</a>');
}
function submitProblemForm(){
  document.page_problem.submit();
}