PHP: String to ID