function dummy() {
         }
function popup(a,b,c) {
         window.open(a,'Popup','menubar=no,scrollbars=yes,resizable=no,status=no,width=' + b + ',height=' + c);
         }