var generalstyle='<link rel="stylesheet" type="text/css" href="../proc/generalstyle.css">'; 
  {
  document.write(generalstyle);
  }