var f;
function init(){
	f = document.forms[0];
	
}


function trim(str){
	var newstr = str.replace(/^ +/g,"");
	newstr = newstr.replace(/ +$/g,"");
	return newstr;
}