//用来在js中添加js文件,file为要添加的js文件名，此文件名需包含js文件的整个路径（请注意）
function require(file){
	var head=document.getElementsByTagName('head')[0];
	var script=document.createElement('script');
	script.language='javascript';
	script.type='text/javascript';
	script.src=file;
	head.appendChild(script);
}
//功能：可无限制添加函数到onload事件
function addLoadEvent(func){
	oldload=window.onload;
	if(typeof window.onload!='function'){
		window.onload=func;
	}
	else{
		window.onload=function(){
			oldload();
			func();
		}
	}
}
//获取某个元素引用的简洁写法
function $(ele){
	if(document.getElementById(ele)){
		return document.getElementById(ele);
	}
	return ele;
}
function V(e){//返回表单值
	return $(e).value;
}
function L(e){//返回表单长度
	return V(e).length;
}