status='Loading ...';
d=document;var caddr=d.location.href;var p="http://";var w='warwick';var pw=p+'www.';var W='Warwick';
function logopic() {deptpic();}
function deptpic() {iu=ABL;ch=dtd.getUTCHours();cm=dtd.getMonth();df='dcsd.jpg';nf='dcsn.jpg';if (cm>9|cm<3) {ds=8;de=16;} else {ds=6;de=20;}
if (ch<ds||ch>de) {iu+=nf;dtext='during the night';} else {iu+=df;dtext='during the day';}
info_txt='Department of Computer Science, Univ. of '+W+', '+dtext+'\nVisit for more info.';
d.write('<center><img width="150" title="'+info_txt+'" alt="'+info_txt+'" src="'+iu+'" onClick="window.open(\''+ABLH+'\')"></center>');}
function commonurl() {var PRE='<a title="'+W+'" target="_blank" href="'+pw;var MIDDLE=w+'.ac.uk/">';var POST='</a><br>';var SEPA='<hr><br>';var buf=PRE+MIDDLE+W+POST;return buf;}
function checkpage() {var u=W3HTML+'?uri=';var au=caddr;if (cad=='1') {au=ABL;};open(u+au);}
function gogoogle() {open(p+'directory.google.com/Top/Computers/Programming/Personal_Pages/S/');}
function gomsn() {var u=p+'search.msn.com/results.aspx?q=site:www.'+curr_domain+'+link:';var au=caddr;if (cad=='1') {au=ABL;};open(u+au);}
var dtd = new Date();
function morecontactinfo() {
d.write(', which should be same as presented <a title="Department record" href="http://www.dcs.warwick.ac.uk/people/postgraduate/Y.Song/">here</a>, ');}
function doc() {/*links();*/}
var W3HTML=p+'validator.w3.org/check';
function links() {d.getElementById('remote_links').innerHTML+=commonurl();}
var t='&nbsp; ';texts=t;for(var i=0;i<18;i++) {texts+=t;}
var curr_domain='dcs.'+w+'.ac.uk';
var cad='0';var ABLH=pw+curr_domain+'/';var ABL=ABLH+'~yu/';
var images=new Array();
t=texts;var BLANKTEXT=t;for(var i=0;i<18;i++) {BLANKTEXT+=t;}
images[0]=new Image();images[0].src=ABL+'w3c1.png';images[1]=new Image();images[1].src=ABL+'blank.gif';
if (caddr.substring(0, 29).toLowerCase() != ABLH.toLowerCase()) {cad='1';}
images[2]=new Image();images[2].src=ABL+'google.gif';
images[3]=new Image();images[3].src=ABL+'msn.gif';
var IMLH=ABLH;var IML=ABL;
images[4]=new Image();images[4].src=IML+'logo.jpg';
images[5]=new Image();images[5].src=IML+'dcsn.jpg';
images[6]=new Image();images[6].src=IML+'dcsp.jpg';
pre_mail='<small><b>';post_mail='</b></small>';
d.write('<link rel="shortcut icon" href="'+ABL+'fav.ico">');
function loadim(dest, imgl) {d.getElementById(dest).src=eval('images['+imgl+'].src');}
function blanktext() {buf='<p>'+BLANKTEXT+'</p>';
buf += '<div align="right"><img onclick="gomsn();" title="Related pages in MSN search" alt="In_MSN" src="'+ABL+'msn.gif">&nbsp; &nbsp; &nbsp; <img onclick="gogoogle();" title="Google\'s Directory,  Computers > Programming" alt="In_Google" id="googles" src="'+ABL+'google.gif">&nbsp; &nbsp; &nbsp; <img id="pageval" name="pageval" alt="Valid_HTML" title="Click to see HTML validator\'s output" onclick="checkpage();" src="'+ABL+'w3c1.png"></a></div>';
d.write(buf);}
status='Done.';