#2 added 'library/function.php'