function $(name) {
if (document.getElementById) return document.getElementById(name);
else if (document.all) return document.all[name];
else return null;
}

function trim(s) {
return rtrim(ltrim(s));
}

function ltrim(s) {
return s.replace(/^\s+/, ''); 
}

function rtrim(s) {
return s.replace(/\s+$/, ''); 
}

function zoom(section,img,w,h,n) {
window.open('/' + section + '/zoom/' + img + '.html','' + n + '','width=' + w + ',height=' + h + ',resize=yes,scrollbar=yes;');
}