Zeljko Jerkov's international records