What is x if log_2(x)+Log_2(x-7)=3?