document.write('

	(5)		(1)
	(8)		(1)
	(1)

');