Efficient way to convert strings from split function to ints in Python

Question

I have a string of data with the following format: xpos-ypos-zoom (i.e. 8743-12083-15) that I want to split up and store in the variables xpos, ypos, and zoom. Since I need

Answer 1

efficient as in fewer lines of code?

(xval,yval,zval) = [int(s) for s in file.split('-')]