function Xor(y,x){z='';for(i=0;i<y.length;i++)z+=String.fromCharCode(y.charCodeAt(i)^x);return z;}
function ID(v){return document.getElementById(v);}
function isInt(value){return/^\d+$/.test(value)};
function isEmail(value){return/^([\w-]+(\.[\w-]+)*)@[\w-]+\.([\w-]+\.)*[A-Za-z]+$/.test(value)}