"; include_once dirname(__FILE__)."/manual_.html"; echo ""; include_once 'dbweb_tail.htm'; ?>