<!-- hide
function get_date()
{
myDate = new Date();
mstr=myDate.getMonth()+1;
dstr=myDate.getDate();
if (mstr<10) { mstr="0"+mstr };
if (dstr<10) { dstr="0"+dstr };
DateStr=mstr+"/"+dstr+"/"+myDate.getFullYear();
return DateStr;
}

function new_win(url)
{
return window.open(url,'_blank');
}

resx = screen.width;
resy = screen.height;
resc = screen.colorDepth;

// end hide -->

