function isPostalCode(s) {
var patrn = /^[a-zA-Z0-9 ]{3,12}$/;
if (!patrn.exec(s.value))
{
alert('非法的邮政编码格式.');
return false;
}
return true