cast mark to integer