var menuDuration = 150; //time in miliseconds
var menuJumpHeight = "0.70em";
var menus = new Array( "home", "share", "link" ) ;

function menu_init()
{
	for ( c = 0; c < menus.length; ++c )
	{
		if ( menu != menus[c] )
		{
			$('#menu_'+menus[c]).hover(function() {
				$(this).animate({ top : "+="+menuJumpHeight }, menuDuration) ;
			}, function() {
				$(this).animate({ top : "0px" }, menuDuration) ;
			}) ;
		}
		else
		{
			$('#pic_'+menus[c]).attr("src", "pics/menu_"+menus[c]+"_on.png") ;
			$('#menu_'+menus[c]).animate({ top : "+="+menuJumpHeight }, menuDuration) ;
		}
	}
}