/%token.*K_/!d
/%token.*K_\(.*\)/s//	"\1",	K_\1,/