var menu_text="<a onclick=\"get_about1(); lightison();\"> About</a> <a onclick=\"get_portfolio1(); lightison();\"> Portfolio</a>  <a onclick=\"get_contact1(); lightison();\"> Contact </a>"

function get_menu()
{
	document.getElementById('menu').innerHTML=menu_text;
}