document.write('

	(8)		(3)
	(1)		(7)
	(2)		(1)
	(1)		(1)

');