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>Homepage of Christian Urban</TITLE> |
4 <TITLE>Homepage of 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" |
263 |
276 |
264 |
277 |
265 </TABLE> |
278 </TABLE> |
266 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
279 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
267 <!-- hhmts start --> |
280 <!-- hhmts start --> |
268 Last modified: Tue Oct 25 16:20:19 BST 2011 |
281 Last modified: Fri Oct 28 10:16:06 BST 2011 |
269 <!-- hhmts end --> |
282 <!-- hhmts end --> |
270 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
283 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
271 |
284 |
272 <!-- script type="text/javascript"> |
|
273 var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); |
|
274 document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); |
|
275 </script> |
|
276 <script type="text/javascript"> |
|
277 try { |
|
278 var pageTracker = _gat._getTracker("UA-4143458-2"); |
|
279 pageTracker._trackPageview(); |
|
280 } catch(err) {} |
|
281 </script --> |
|
282 </BODY> |
285 </BODY> |
283 </HTML> |
286 </HTML> |