David Hajek's international records