def formatSerialNumber(field):
 sn = field.value
 return ('%04X-%04X' % ((sn >> 16), (sn & 65535)))

def formatSerialNumber ( field ) : sn = field . value return ( '%04X-%04X' % ( ( sn >> 16 ) , ( sn & 65535 ) ) )
format an disc serial number .