document.write('

	(40)		(12)
	(8)		(15)
	(12)		(3)
	(1)		(5)
	(1)

');