Array.prototype.in_array = function(val) {
for(var i = 0, l = this.length; i < l; i++) {
if(this[i] == val) {
return true;
}
}
return false;
}

function mysqlTimeStampToDate(timestamp) {
    //function parses mysql datetime string and returns javascript Date object
    //input has to be in this format: 2007-06-05 15:26:02
    var regex=/^([0-9]{2,4})-([0-1][0-9])-([0-3][0-9]) (?:([0-2][0-9]):([0-5][0-9]):([0-5][0-9]))?$/;
    var parts=timestamp.replace(regex,"$1 $2 $3 $4 $5 $6").split(' ');
    return new Date(parts[0],parts[1]-1,parts[2],parts[3],parts[4],parts[5]);
}

/* 
jQuery(function() {

	jQuery('#webs-interes li').hover(
			function(){
				jQuery('#webs-interes li').find('.webs-interes-alt').css('visibility','hidden');
				jQuery(this).find('.webs-interes-alt').css('visibility','visible');
			},
			function(){
				jQuery('#webs-interes li').find('.webs-interes-alt').css('visibility','hidden');
				
			});
	
	jQuery('#barra-superior h1 a img.inici-home').hover(
			function(){
				jQuery(this).css('margin-top','-52px');
			},
			function(){
				jQuery(this).css('margin-top','0px');
			});
	
}); */
