timing

Hi,
just quickly: what is the time when you say 'half one'? Is it 13:30 or 12:30?

Thanks in advance,
Szabolcs

Coastal Companion and I wandered in around half one (1:30), believing that we might avoid the lunch crowd. Hair of the Dog -- Ireland '01