document.write(" Retrieved ");
//<![CDATA[
var today = new Date()
var month = today.getMonth() + 1
var day = today.getDate()
var year = today.getFullYear()
document.write( year + "/" + month + "/" + day);
//]]>
document.write(" from  <i>Interactive Information Portal for Algorithmic Mathematics,</i> Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, web-page ");
var adresa=location.href
document.write(adresa)
//
//  document.write("<p>This web-page was last modified: ")
//  //<!CDATA[
//  document.write(document.lastModified);
//  //]]>