function CheckPostalCode(s) 
{ 
var patrn=/^[1-9][0-9]{5}$/; 
if (!patrn.exec(s)) return false
return true
}