postgresql7.1 select to_char(current_timestamp, 'Mon DD YYYY HH24:MI:SS')