8727 is the unicode character 'asterisk operator'. Java multiplication uses the ASCII character corresponding to unicode 0042.

Visual appearance and the unicode name notwithstanding they are...