// JavaScript Document
function submit_form(who){
	document.getElementById(who).submit();
}

function check (who){
	var who = document.getElementById(who);
	
	if (who.checked=="checked"){who.checked="off";}else {who.checked="checked"}
}

function getElement (who){
	var who = document.getElementById(who);
	return who;
}

function directTo(url){
	alert (url);
	window.location.assign(url);
}