BEGIN {

	print strtonum("0x13")

	print strtonum("013")

	print strtonum("13")

	print strtonum(13)

}