/*
*Write by:Hui wanpeng
*Time    :2007-09-11
*/
function obj$(id){
	return document.getElementById(id);
}
function val$(id){
	var obj=document.getElementById(id);
	if(obj!==null){
		return obj.value;
	}
	return null;
}
function trimb(str){
	var par=/^\s+/;
	var strRes=str.replace(par,'');
	  
	par=/\s+$/;
	strRes=strRes.replace(par,'');
	  
	return strRes;
}