document.write('

	(6)		(11)
	(1)		(1)

');