Question: php salt my passwords per user sha512 - am I doing this right?