// JavaScript Document

function show_profile_links()
	{
		document.getElementById('profile_links').style.display='inline';
	}
	
function hide_profile_links()
	{
		document.getElementById('profile_links').style.display='none';
	}