document.write('

	(10)		(8)
	(9)		(1)
	(2)		(1)
	(1)

');