function $F(ID){
	return document.getElementById(ID).value;
}
function $(ID){
	return document.getElementById(ID);
}