html

library ued to server dynamic web page by means of html_patch function