function tab() 
{
$("#det").load("home_en.php?id=1");
}
function tab_1() 
{
$("#det").load("home_en.php?id=1");
$("#ma_liste-1").attr({src : "images/tabs_04.gif"});
$("#ma_liste-2").attr({src : "images/tabs2_03.gif"});
$("#ma_liste-3").attr({src : "images/tabs2_01.gif"});
}
function tab_2() 
{
$("#det").load("home_en.php?id=2");
$("#ma_liste-2").attr({src : "images/tabs_03.gif"});
$("#ma_liste-1").attr({src : "images/tabs2_04.gif"});
$("#ma_liste-3").attr({src : "images/tabs2_01.gif"});
}
function tab_3() 
{
$("#det").load("home_en.php?id=3");
$("#ma_liste-3").attr({src : "images/tabs_01.gif"});
$("#ma_liste-2").attr({src : "images/tabs2_03.gif"});
$("#ma_liste-1").attr({src : "images/tabs2_04.gif"});
}



<!--

function updateClock ( )
{
  var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );
  var weekday=new Array(7);
		weekday[0]="Sun";
		weekday[1]="Mon";
		weekday[2]="Tue";
		weekday[3]="Wed";
		weekday[4]="Thur";
		weekday[5]="Fri";
		weekday[6]="Sat";

  var currentDay = weekday[currentTime.getDay( )];
  var currentDateday = currentTime.getDate ( );
  var month=new Array(12);
month[0]="Jan";
month[1]="Feb";
month[2]="Mar";
month[3]="Apr";
month[4]="May";
month[5]="Jun";
month[6]="Jul";
month[7]="Aug";
month[8]="Sep";
month[9]="Oct";
month[10]="Nov";
month[11]="Dec";

  var currentMonth = month[currentTime.getMonth( )];
  var currentYear = currentTime.getYear();

  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

  // Choose either "AM" or "PM" as appropriate
  var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";

  // Convert the hours component to 12-hour format if needed
  currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;

  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentTimeString = currentDay + " " + currentDateday + "  " + currentMonth + "  " + currentYear + "   " + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}

// -->