Post How do i root this i535

My friend has a Samsung galaxy s3 i535 he just updated to 4.3 OTA he was wondering how to root the jellybean with proper steps for the 4.3 OTA