var survey="<HR><DIV ALIGN=RIGHT><FONT SIZE=-1><A HREF=contents.htm>Contents</A><BR><A HREF=links.htm>Links</A><BR><FONT SIZE=-2>Last update: "+document.lastModified+"</DIV></FONT SIZE><HR>"

var survey2="<HR><DIV ALIGN=RIGHT><FONT SIZE=-1><A HREF=index.htm>Back to index page</A><BR><A HREF=links.htm>Links</A><BR><FONT SIZE=-2>Last update: "+document.lastModified+"</DIV></FONT SIZE><HR>"

var survey3="<HR><DIV ALIGN=RIGHT><FONT SIZE=-1><A HREF=contents.htm>Back to contents</A><BR><A HREF=index.htm>Back to Index Page</A><BR><FONT SIZE=-2>Last update: "+document.lastModified+"</DIV></FONT SIZE><HR>"


var bodysize="<FONT SIZE=3>"