fun main () : int = 000123