document.write('

	(19)		(9)
	(3)		(2)
	(5)		(2)
	(3)

');