function sizer(n,s) {
   document.getElementById(n).style.height=s+"px";
}
function head_DoFSCommand(command, args) { 
  if (command == "call_sizer") { 
    document.getElementById('head').style.height=args+"px";
  }
}