function write_portfolio_menu(current, src) { // document.write('
















'); document.write(""); }