$libcount = mysql_result(mysql_query("SELECT COUNT(*) FROM `library` where `uploader`=$user_id and type =`library_texts`"), 0);
$libcount = mysql_result(mysql_query("SELECT COUNT(*) FROM `library` where `uploader`=$user_id and type =`library_texts`"), 0);