" ; echo "

Home

" ; echo "

Forums

" ; echo "

Fluxbox

" ; echo "

Other

" ; }