K ( 1257 1 tr upp ( G534