: * : : : k |;