--- index.php	2001/06/21 09:59:50	1.9
+++ index.php	2001/06/21 10:02:07	1.10
@@ -169,7 +169,7 @@
 	if ($old_netscape) echo "<LINK REL=\"StyleSheet\" HREF=\"style-ns.css\">\n";
 		else echo "<LINK REL=\"StyleSheet\" HREF=\"style.css\">\n";
 ?>
-<TITLE><?= ereg_replace("\r?\n(.*)$", " (\\1)", $product_name); ?></TITLE>
+<TITLE><?= $product_name ?><?php if ($cas_no): ?> (CAS No: <?= $cas_no ?>)<?php endif; ?></TITLE>
 <?php if ($msg): ?>
 <META HTTP-EQUIV="Refresh" CONTENT="1; URL=?id=<?= $id ?>">
 <?php else: ?>