Determine the server's OS through PHP, the embed it in the value so the client-side JS can access the data.