BEGIN {
	print strtonum("0x13")
	print strtonum("013")
	print strtonum("13")
	print strtonum(13)
}