Ciao a tutti!

non riesco a convertire il timestamp nel formato di cui ho bisogno,
ovvero:

ho un valore di questo tipo

value = Tue Sep 06 2011 14:00:00 GMT+0200 (ora legale Europa occidentale);

ora dovrei prelevare solamente il 14:00:00 (per la precisione 1400 in numerico).

Qualcuno sa darmi qualche dritta? ho pensato al substring ma penso esista un funzione che trasforma le date!?!

Grazie mille!