function vErr(o,s){
	alert(s);
	if (o) o.focus();
	return false;
}
function isValidCode(s) {
	var patrn=/^[0-9]{4}$/;
	if (!patrn.exec(s)) return false;
	return true;
}
function isInt(s){
  var patrn=/^[1-9]{1}[0-9]{0,6}$/;
	if (!patrn.exec(s)) return false;
	return true;
}
function WinOpen(url,w,h){
	var l = Math.ceil((screen.availWidth-w-10)/2);
	var t = Math.ceil((screen.availHeight-h-30)/2);
	window.open(url,'','width='+w+',height='+h+',top='+t+',left='+l);
}