function $(str){return document.getElementById(str);};function I$(div,info){try{if($(div)){$(div).innerHTML=info}}catch(e){}};function IsNum(str){ var is=true; var s=new String(str); for(var i=0;i<s.length;i++) {   var re = /\d/; if(!re.test(s.charAt(i))) {is=false;break; } } return is;};