// JavaScript Document
// onmouseover="$('.profile_menu').show();" onmouseout="$('.profile_menu').hide();"

function showUserMenu(){
	var div = document.getElementById('profile_menu');
	div.style.display = "block";
}
function hideUserMenu(){
	var div = document.getElementById('profile_menu');
	div.style.display = "none";
}