equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="utf-8"?> |
1 <?xml version="1.0" encoding="utf-8"?> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE> Christian Urban </TITLE> |
4 <TITLE> Christian Urban </TITLE> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> |
|
6 <script type="text/javascript"> |
|
7 |
|
8 var _gaq = _gaq || []; |
|
9 _gaq.push(['_setAccount', 'UA-4143458-4']); |
|
10 _gaq.push(['_trackPageview']); |
|
11 |
|
12 (function() { |
|
13 var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; |
|
14 ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; |
|
15 var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); |
|
16 })(); |
|
17 |
|
18 </script> |
6 </HEAD> |
19 </HEAD> |
7 |
20 |
8 <BODY TEXT="#000000" |
21 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
22 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
23 LINK="#0000EF" |
353 </TR> |
366 </TR> |
354 |
367 |
355 </TABLE> |
368 </TABLE> |
356 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
369 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
357 <!-- hhmts start --> |
370 <!-- hhmts start --> |
358 Last modified: Sat Oct 22 12:08:37 BST 2011 |
371 Last modified: Fri Oct 28 10:16:21 BST 2011 |
359 <!-- hhmts end --> |
372 <!-- hhmts end --> |
360 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
373 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
361 </BODY> |
374 </BODY> |
362 </HTML> |
375 </HTML> |