For documentation see doc.html